1.1 --- a/rt/emul/mini/src/main/java/java/lang/Double.java	Wed Feb 27 16:24:42 2013 +0100
     1.2 +++ b/rt/emul/mini/src/main/java/java/lang/Double.java	Fri Mar 08 23:43:01 2013 +0100
     1.3 @@ -190,12 +190,11 @@
     1.4       * @param   d   the {@code double} to be converted.
     1.5       * @return a string representation of the argument.
     1.6       */
     1.7 -    @JavaScriptBody(args="d", body="var r = d.toString();"
     1.8 -        + "if (isFinite(d) && (r.indexOf('.') === -1)) r = r + '.0';"
     1.9 -        + "return r;")
    1.10 -    public static String toString(double d) {
    1.11 -        throw new UnsupportedOperationException();
    1.12 -    }
    1.13 +    @JavaScriptBody(args="d", body="var f = Math.floor(d);\n" +
    1.14 +        "if (f === d && isFinite(d)) return d.toString() + '.0';\n" +
    1.15 +        "else return d.toString();"
    1.16 +    )
    1.17 +    public static native String toString(double d);
    1.18  
    1.19      /**
    1.20       * Returns a hexadecimal string representation of the