1.1 --- a/emul/mini/src/main/resources/org/apidesign/vm4brwsr/emul/lang/java_lang_Number.js	Thu Jan 31 14:45:11 2013 +0100
     1.2 +++ b/emul/mini/src/main/resources/org/apidesign/vm4brwsr/emul/lang/java_lang_Number.js	Thu Jan 31 15:26:09 2013 +0100
     1.3 @@ -69,6 +69,17 @@
     1.4      return hi.next32(low);
     1.5  };
     1.6  
     1.7 +Number.prototype.sub64 = function(x) {
     1.8 +    var low = this - x;
     1.9 +    carry = 0;
    1.10 +    if (low < 0) {
    1.11 +        carry = 1;
    1.12 +        low += (__m32+1);
    1.13 +    }
    1.14 +    var hi = (this.high32() - x.high32() - carry) | 0;
    1.15 +    return hi.next32(low);
    1.16 +};
    1.17 +
    1.18  Number.prototype.div64 = function(x) {
    1.19      var low = Math.floor(this.toFP() / x.toFP()); // TODO: not exact enough
    1.20      if (low > __m32) {