diff -r eecf6077ec4e -r 8a25056ef283 emul/mini/src/main/resources/org/apidesign/vm4brwsr/emul/lang/java_lang_Number.js
--- a/emul/mini/src/main/resources/org/apidesign/vm4brwsr/emul/lang/java_lang_Number.js	Tue Feb 05 16:40:01 2013 +0100
+++ b/emul/mini/src/main/resources/org/apidesign/vm4brwsr/emul/lang/java_lang_Number.js	Tue Feb 05 17:12:17 2013 +0100
@@ -205,7 +205,7 @@
     return ret.add64(1);
 };
 
-function __initDivMod(numberPrototype) {
+(function(numberPrototype) {
     function __Int64(hi32, lo32) {
         this.hi32 = hi32 | 0;
         this.lo32 = lo32 | 0;
@@ -511,6 +511,4 @@
         var result = r64.toNumber();
         return negateResult ? result.neg64() : result; 
     }
-};
-
-__initDivMod(Number.prototype);
+})(Number.prototype);