// 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; };

var __m32 = 0xFFFFFFFF;

Number.prototype.next32 = function(low) {

  if (this === 0) {

    return low;

  }

  var l = new Number(low);

  l.hi = this | 0;

  return l;

};

Number.prototype.high32 = function() { 

    return this.hi ? this.hi : (Math.floor(this / (__m32+1))) | 0;

};

Number.prototype.toInt32 = function() { return this | 0; };

Number.prototype.toFP = function() {

    return this.hi ? this.hi * (__m32+1) + this : this;

};

Number.prototype.toLong = function() {

    var hi = (this > __m32) ? (Math.floor(this / (__m32+1))) | 0 : 0;

    return hi.next32(Math.floor(this % (__m32+1)));

};

Number.prototype.toExactString = function() {

    if (this.hi) {

        var res = 0;

        var a = [ 6,9,2,7,6,9,4,9,2,4 ];

        var s = '';

        var digit;

        var hi = this.hi;

        var low = this;

        for (var i = 0; i < a.length; i++) {

            res += hi * a[i];

            var low_digit = low % 10;

            digit = (res % 10) + low_digit;

            low = Math.floor(low / 10);

            res = Math.floor(res / 10);

            if (digit >= 10) {

                digit -= 10;

                res++;

            }

            s = String(digit).concat(s);

        }

        return String(res).concat(s);

    }

    return String(this);

};

Number.prototype.add64 = function(x) {

    var low = this + x;

    carry = 0;

    if (low > __m32) {

        carry = 1;

        low -= (__m32+1);

    }

    var hi = (this.high32() + x.high32() + carry) | 0;

    return hi.next32(low);

};

Number.prototype.sub64 = function(x) {

    var low = this - x;

    carry = 0;

    if (low < 0) {

        carry = 1;

        low += (__m32+1);

    }

    var hi = (this.high32() - x.high32() - carry) | 0;

    return hi.next32(low);

};

Number.prototype.mul64 = function(x) {

    var low = this.mul32(x);

    low += (low < 0) ? (__m32+1) : 0;

    // first count upper 32 bits of (this.low * x.low)

    var hi_hi = 0;

    var hi_low = 0;

    var m = 1;

    for (var i = 0; i < 32; i++) {

        if (x & m) {

            hi_hi += this >>> 16;

            hi_low += this & 0xFFFF

        }

        hi_low >>= 1;

        hi_low += (hi_hi & 1) ? 0x8000 : 0;

        hi_hi >>= 1;

        m <<= 1;

    }

    var hi = (hi_hi << 16) + hi_low;

    var m1 = this.high32().mul32(x);

    var m2 = this.mul32(x.high32());

    hi = hi.add32(m1).add32(m2);

    return hi.next32(low);

};

Number.prototype.div64 = function(x) {

    var low = Math.floor(this.toFP() / x.toFP()); // TODO: not exact enough

    if (low > __m32) {

        var hi = Math.floor(low / (__m32+1)) | 0;

        return hi.next32(low % (__m32+1));

    }

    return low;

};

Number.prototype.and64 = function(x) {

    var low = this & x;

    low += (low < 0) ? (__m32+1) : 0;

    if (this.hi && x.hi) {

        var hi = this.hi & x.hi;

        return hi.next32(low);

    };

    return low;

};

Number.prototype.or64 = function(x) {

    var low = this | x;

    low += (low < 0) ? (__m32+1) : 0;

    if (this.hi || x.hi) {

        var hi = this.hi | x.hi;

        return hi.next32(low);

    };

    return low;

};

Number.prototype.xor64 = function(x) {

    var low = this ^ x;

    low += (low < 0) ? (__m32+1) : 0;

    if (this.hi || x.hi) {

        var hi = this.hi ^ x.hi;

        return hi.next32(low);

    };

    return low;

};

Number.prototype.shl64 = function(x) {

    if (x >= 32) {

        var hi = this << (x - 32);

        return hi.next32(0);

    } else {

        var hi = this.high32() << x;

        var low_reminder = this >> (32 - x);

        hi |= low_reminder;

        var low = this << x;

        low += (low < 0) ? (__m32+1) : 0;

        return hi.next32(low);

    }

};

Number.prototype.shr64 = function(x) {

    if (x >= 32) {

        var low = this.high32() >> (x - 32);

        low += (low < 0) ? (__m32+1) : 0;

        return low;

    } else {

        var low = this >> x;

        var hi_reminder = this.high32() << (32 - x);

        low |= hi_reminder;

        low += (low < 0) ? (__m32+1) : 0;

        var hi = this.high32() >> x;

        return hi.next32(low);

    }

};

Number.prototype.ushr64 = function(x) {

    if (x >= 32) {

        var low = this.high32() >>> (x - 32);

        low += (low < 0) ? (__m32+1) : 0;

        return low;

    } else {

        var low = this >>> x;

        var hi_reminder = this.high32() << (32 - x);

        low |= hi_reminder;

        low += (low < 0) ? (__m32+1) : 0;

        var hi = this.high32() >>> x;

        return hi.next32(low);

    }

};

Number.prototype.compare64 = function(x) {

    if (this.hi == x.hi) {

        return (this == x) ? 0 : ((this < x) ? -1 : 1);

    }

    return (this.hi < x.hi) ? -1 : 1;

};

Number.prototype.neg64 = function() {

    var hi = this.high32();

    var low = this;

    if ((hi === 0) && (low < 0)) { return -low; }

    hi = ~hi;

    low = ~low;

    low += (low < 0) ? (__m32+1) : 0;

    return hi.next32(low);

};