1.1 --- a/rt/vm/src/main/java/org/apidesign/vm4brwsr/NumberOperations.java	Tue Jan 26 08:43:29 2016 +0100
     1.2 +++ b/rt/vm/src/main/java/org/apidesign/vm4brwsr/NumberOperations.java	Wed Jan 27 06:46:03 2016 +0100
     1.3 @@ -149,19 +149,19 @@
     1.4          }
     1.5          if ((used & BIT64) != 0) {
     1.6              sb.append(
     1.7 -                "    var __add64 = function(x,y) { return x.add64(y); };\n" +
     1.8 -                "    var __sub64 = function(x,y) { return x.sub64(y); };\n" +
     1.9 -                "    var __mul64 = function(x,y) { return x.mul64(y); };\n" +
    1.10 -                "    var __div64 = function(x,y) { return x.div64(y); };\n" +
    1.11 -                "    var __mod64 = function(x,y) { return x.mod64(y); };\n" +
    1.12 -                "    var __and64 = function(x,y) { return x.and64(y); };\n" +
    1.13 -                "    var __or64 = function(x,y) { return x.or64(y); };\n" +
    1.14 -                "    var __xor64 = function(x,y) { return x.xor64(y); };\n" +
    1.15 +                "    var __add64 = Number.prototype['__bit64']['add64'];\n" +
    1.16 +                "    var __sub64 = Number.prototype['__bit64']['sub64'];\n" +
    1.17 +                "    var __mul64 = Number.prototype['__bit64']['mul64'];\n" +
    1.18 +                "    var __div64 = Number.prototype['__bit64']['div64'];\n" +
    1.19 +                "    var __mod64 = Number.prototype['__bit64']['mod64'];\n" +
    1.20 +                "    var __and64 = Number.prototype['__bit64']['and64'];\n" +
    1.21 +                "    var __or64 = Number.prototype['__bit64']['or64'];\n" +
    1.22 +                "    var __xor64 = Number.prototype['__bit64']['xor64'];\n" +
    1.23                  "    var __neg64 = function(x) { return x.neg64(); };\n" +
    1.24 -                "    var __shl64 = function(x,y) { return x.shl64(y); };\n" +
    1.25 -                "    var __shr64 = function(x,y) { return x.shr64(y); };\n" +
    1.26 -                "    var __ushr64 = function(x,y) { return x.ushr64(y); };\n" +
    1.27 -                "    var __compare64 = function(x,y) { return y.compare64(x); };\n" +
    1.28 +                "    var __shl64 = Number.prototype['__bit64']['shl64'];\n" +
    1.29 +                "    var __shr64 = Number.prototype['__bit64']['shr64'];\n" +
    1.30 +                "    var __ushr64 = Number.prototype['__bit64']['ushr64'];\n" +
    1.31 +                "    var __compare64 = Number.prototype['__bit64']['compare64'];\n" +
    1.32                  ""
    1.33              );
    1.34          }