Precise 64bit integer operations for Javascript