Big merge from experimental to bleeding edge.

sdk/lib/core/double.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.
 
 part of dart.core;
 
 // TODO: Convert this abstract class into a concrete class double
 // that uses the patch class functionality to account for the
 // different platform implementations.
 
@@ skipping 27 matching lines @@
   /** Euclidean modulo operator. */
   double operator %(num other);
 
   /** Division operator. */
   double operator /(num other);
 
   /**
    * Truncating division operator.
    *
    * The result of the truncating division [:a ~/ b:] is equivalent to
-   * [:(a / b).truncate():].
+   * [:(a / b).truncate().toInt():].
    */
-  double operator ~/(num other);
+  int operator ~/(num other);
 
   /** Negate operator. */
   double operator -();
 
   /** Returns the absolute value of this [double]. */
   double abs();
 
   /**
    * Returns the integer value closest to this [double].
    *
@@ skipping 31 matching lines @@
 
   /**
    * Parse [source] as an double literal and return its value.
    *
    * Accepts the same format as double literals:
    *   [: ['+'|'-'] [digit* '.'] digit+ [('e'|'E') ['+'|'-'] digit+] :]
    *
    * Also recognizes "NaN", "Infinity" and "-Infinity" as inputs and
    * returns the corresponding double value.
    *
-   * Throws a [FormatException] if [source] is not a valid double literal.
+   * If the [soure] is not a valid double literal, the [handleError]
+   * is called with the [source] as argument, and its return value is
+   * used instead. If no handleError is provided, a [FormatException]
+   * is thrown.
    */
-  external static double parse(String source);
+  external static double parse(String source,
+                               [double handleError(String source)]);
 }