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