anchor.diff:    Expect.isTrue(double.NEGATIVE_INFINITY.p.isNegative);
   
     // Check use of assert to verify precision.
  -  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);
  +  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);
  +  }
   }
  
positive.code:   assert(d == d.p);
  }
  
  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.
  
negative.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.
  
  import "package:expect/expect.dart";
  
  