Deprecate Math object in corelib in favor of dart:math library.

pkg/intl/number_format.dart

 // Copyright (c) 2012, 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.
 
 #library("number_format");
 
+#import('dart:math');
+
 #import("intl.dart");
 #import("number_symbols.dart");
 #import("number_symbols_data.dart");
 
 class NumberFormat {
   /** Variables to determine how number printing behaves. */
   // TODO(alanknight): If these remain as variables and are set based on the
   // pattern, can we make them final?
   String _negativePrefix = '-';
   String _positivePrefix = '';
@@ skipping 87 matching lines @@
   }
 
   /** Format the number in exponential notation. */
   _formatExponential(num number) {
     if (number == 0.0) {
       _formatFixed(number);
       _formatExponent(0);
       return;
     }
 
-    var exponent = (Math.log(number) / Math.log(10)).floor();
-    var mantissa = number / Math.pow(10, exponent);
+    var exponent = (log(number) / log(10)).floor();
+    var mantissa = number / pow(10, exponent);
 
     if (_minimumIntegerDigits < 1) {
       exponent++;
       mantissa /= 10;
     } else {
       exponent -= _minimumIntegerDigits - 1;
-      mantissa *= Math.pow(10, _minimumIntegerDigits - 1);
+      mantissa *= pow(10, _minimumIntegerDigits - 1);
     }
     _formatFixed(number);
     _formatExponent(exponent);
   }
 
   /**
    * Format the exponent portion, e.g. in "1.3e-5" the "e-5".
    */
   void _formatExponent(num exponent) {
     _add(symbols.EXP_SYMBOL);
     if (exponent < 0) {
       exponent = -exponent;
       _add(symbols.MINUS_SIGN);
     } else if (_useSignForPositiveExponent) {
       _add(symbols.PLUS_SIGN);
     }
     _pad(_minimumExponentDigits, exponent.toString());
   }
 
   /**
    * Format the basic number portion, inluding the fractional digits.
    */
   void _formatFixed(num number) {
     // Round the number.
-    var power = Math.pow(10, _maximumFractionDigits);
+    var power = pow(10, _maximumFractionDigits);
     var intValue = number.truncate().toInt();
     var multiplied = (number * power).round();
     var fracValue = (multiplied - intValue * power).floor().toInt();
     var fractionPresent = _minimumFractionDigits > 0 || fracValue > 0;
 
     // On dartj2s the integer part may be large enough to be a floating
     // point value, in which case we reduce it until it is small enough
     // to be printed as an integer and pad the remainder with zeros.
     var paddingDigits = new StringBuffer();
     while (intValue is! int) {
@@ skipping 103 matching lines @@
   }
 
   /**
    * Returns the suffix for [x] based on wether it's positive or negative.
    * In en_US there are no suffixes for positive or negative.
    */
   String _signSuffix(num x) {
     return x.isNegative() ? _negativeSuffix : _positiveSuffix;
   }
 }