diff -r 388e48c0a37a -r 05224402145d emul/src/main/resources/org/apidesign/vm4brwsr/emul/java_lang_Number.js
--- a/emul/src/main/resources/org/apidesign/vm4brwsr/emul/java_lang_Number.js	Wed Jan 23 20:16:48 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-// empty line needed here
-Number.prototype.add32 = function(x) { return (this + x) | 0; };
-Number.prototype.sub32 = function(x) { return (this - x) | 0; };
-Number.prototype.mul32 = function(x) { 
-    return (((this * (x >> 16)) << 16) + this * (x & 0xFFFF)) | 0;
-};
-
-Number.prototype.toInt8 = function()  { return (this << 24) >> 24; };
-Number.prototype.toInt16 = function() { return (this << 16) >> 16; };
\ No newline at end of file