64-bit integer support for JavaScript