diff -r 000000000000 -r 7df624c2a0a1 emul/src/main/resources/org/apidesign/vm4brwsr/emul/java_lang_Number.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/emul/src/main/resources/org/apidesign/vm4brwsr/emul/java_lang_Number.js	Sun Jan 13 23:07:54 2013 +0100
@@ -0,0 +1,6 @@
+// empty line needed here
+__add32 = function(x,y) { return (x + y) | 0; };
+__sub32 = function(x,y) { return (x - y) | 0; };
+__mul32 = function(x,y) { 
+    return (((x * (y >> 16)) << 16) + x * (y & 0xFFFF)) | 0;
+};