64-bit Integer Representation for JavaScript