diff -r 05224402145d -r 4252bfc396fc 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 26 14:55:55 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();