Rewrite double.parse.

sdk/lib/core/string.dart

Index: sdk/lib/core/string.dart
diff --git a/sdk/lib/core/string.dart b/sdk/lib/core/string.dart
index ebcfe10950f9c9605b7712276dca64adb425f397..f7b882693989e8f7b6d290eaf29b953a54fa60dc 100644
--- a/sdk/lib/core/string.dart
+++ b/sdk/lib/core/string.dart
@@ -145,13 +145,16 @@ abstract class String implements Comparable<String>, Pattern {
   String substring(int startIndex, [int endIndex]);
 
   /**
-   * Removes leading and trailing whitespace from a string. If the string
-   * contains leading or trailing whitespace a new string with no leading and
-   * no trailing whitespace is returned. Otherwise, the string itself is
-   * returned.  Whitespace is defined as every Unicode character in the Zs, Zl
-   * and Zp categories (this includes no-break space), the spacing control
-   * characters from 9 to 13 (tab, lf, vtab, ff and cr), and 0xfeff the BOM
-   * character.
+   * Removes leading and trailing whitespace from a string.
+   *
+   * If the string contains leading or trailing whitespace a new string with no
+   * leading and no trailing whitespace is returned. Otherwise, the string
+   * itself is returned.
+   *
+   * Whitespace is defined as every Unicode character in the Zs category (which
+   * contains space and no-break space), Zl and Zp categories, the spacing
+   * control characters from 9 to 13 (tab, line feed, vtab, form feed and
+   * return), and 0xfeff, the BOM character.
    */
   String trim();