Improve 64bit integer decoding.

bit.lshift() doesn't support large bit shifts.