diff -r d382dacfd73f -r 6f8683517f1f rt/emul/mini/src/main/java/java/io/DataInputStream.java
--- a/rt/emul/mini/src/main/java/java/io/DataInputStream.java	Tue Feb 26 16:54:16 2013 +0100
+++ b/rt/emul/mini/src/main/java/java/io/DataInputStream.java	Wed Feb 27 16:24:42 2013 +0100
@@ -468,42 +468,8 @@
      * @see        java.lang.Double#longBitsToDouble(long)
      */
     public final double readDouble() throws IOException {
-        int hi = readInt();
-        int low = readInt();
-        return toDouble(hi, low);
-    }
-    
-    @JavaScriptBody(args={ "hi", "low" },
-        body=
-          "if (low == 0) {\n"
-        + "  if (hi === 0x7ff00000) return Number.POSITIVE_INFINITY;\n"
-        + "  if (hi === 0xfff00000) return Number.NEGATIVE_INFINITY;\n"
-        + "}\n"
-        + "if (hi >= 0x7ff00000 && hi <= 0x7fffffff) return Number.NaN;\n"
-        + "if (hi >= 0xfff00000 && hi <= 0xffffffff) return Number.NaN;\n"
-        + "var s = (hi & 0x80000000) === 0 ? 1 : -1;\n"
-        + "var e = (hi >> 20) & 0x7ff;\n"
-        + "var to32 = low >> 0;\n"
-        + "if (e === 0) {\n"
-        + "  if (to32 & 0x80000000) {\n"
-        + "    hi = hi << 1 + 1; low = low << 1;\n"
-        + "  } else {\n"
-        + "    hi = hi << 1; low = low << 1;\n"
-        + "  }\n" 
-        + "} else {\n"
-        + "    hi = (hi & 0xfffff) | 0x100000;\n"
-        + "}\n"
-        + "to32 = low >> 0;\n"
-        + "var m = Math.pow(2.0, 32) * hi + to32;\n"
-        + "var r = s * m * Math.pow(2.0, e - 1075);\n"
-        + "//throw 'exp: ' + e + ' sign: ' + s + ' hi:' + hi + ' low: ' + low + ' m: ' + m + ' r: ' + r;\n"
-        + "return r;\n"
-    )
-    private static double toDouble(int hi, int low) {
-        long both = hi;
-        both = (both << 32) & low;
-        return Double.doubleToLongBits(both);
-    }
+        return Double.longBitsToDouble(readLong());
+    }    
 
     private char lineBuffer[];