Be more careful about overflowing JS 'number'

[evmar]

In cases where a value is >53 bits, we need to use bigints.