anchor.diff:    assert(d == d.p);
   }
   
  +bool assertionsEnabled() {
  +  try {
  +    assert(false);
  +    return false;
  +  } on AssertionError catch (e) {
  +    return true;
  +  }
  +  return false;
  +}
  +
   main() {
     // The getter p keeps only 20 (by default) bits after the decimal point.
     Expect.equals(0.0, 0.0.p);  // 0.0 has no 1-bit after the decimal point.
  
positive.code: // Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
  // for details. All rights reserved. Use of this source code is governed by a
  // BSD-style license that can be found in the LICENSE file.
  // VMOptions=--enable_asserts
  
  import "package:expect/expect.dart";
  
  
negative.code:   Expect.isTrue(double.NEGATIVE_INFINITY.p.isNegative);
  
    // Check use of assert to verify precision.
    if (assertionsEnabled()) {
      assertP(1.5);
      assertP(1.1.p);
      Expect.throws(() => assertP(1.1), (e) => e is AssertionError);
      assertP(1.23456789.p);
      Expect.throws(() => assertP(1.23456789), (e) => e is AssertionError);
    }
  }
  