1.1 --- a/emul/src/main/java/java/lang/Double.java Tue Oct 16 18:04:11 2012 +0200
1.2 +++ b/emul/src/main/java/java/lang/Double.java Sun Nov 18 19:54:40 2012 +0100
1.3 @@ -190,7 +190,9 @@
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="return d.toString();")
1.8 + @JavaScriptBody(args="d", body="var r = d.toString();"
1.9 + + "if (r.indexOf('.') === -1) r = r + '.0';"
1.10 + + "return r;")
1.11 public static String toString(double d) {
1.12 throw new UnsupportedOperationException();
1.13 }