Support for representing 64-bit integers in JavaScript