diff -r 05224402145d -r cc3871bdd83c emul/mini/src/main/java/java/lang/Double.java
--- a/emul/mini/src/main/java/java/lang/Double.java	Wed Jan 23 20:39:23 2013 +0100
+++ b/emul/mini/src/main/java/java/lang/Double.java	Tue Feb 19 15:33:32 2013 +0100
@@ -191,7 +191,7 @@
      * @return a string representation of the argument.
      */
     @JavaScriptBody(args="d", body="var r = d.toString();"
-        + "if (r.indexOf('.') === -1) r = r + '.0';"
+        + "if (isFinite(d) && (r.indexOf('.') === -1)) r = r + '.0';"
         + "return r;")
     public static String toString(double d) {
         throw new UnsupportedOperationException();