diff -r a0505844750a -r 391a5d25c0e1 emul/src/main/java/java/lang/Double.java
--- a/emul/src/main/java/java/lang/Double.java	Tue Oct 16 18:04:11 2012 +0200
+++ b/emul/src/main/java/java/lang/Double.java	Sun Nov 18 19:54:40 2012 +0100
@@ -190,7 +190,9 @@
      * @param   d   the {@code double} to be converted.
      * @return a string representation of the argument.
      */
-    @JavaScriptBody(args="d", body="return d.toString();")
+    @JavaScriptBody(args="d", body="var r = d.toString();"
+        + "if (r.indexOf('.') === -1) r = r + '.0';"
+        + "return r;")
     public static String toString(double d) {
         throw new UnsupportedOperationException();
     }