diff -r 9e4f01dd6acb -r 05224402145d emul/mini/src/main/resources/org/apidesign/vm4brwsr/emul/java_lang_Number.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/emul/mini/src/main/resources/org/apidesign/vm4brwsr/emul/java_lang_Number.js	Wed Jan 23 20:39:23 2013 +0100
@@ -0,0 +1,9 @@
+// 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