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	Wed Dec 05 10:03:58 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      }