Proper support for 64-bit integers

Using dpw's buffer-more-ints for the lifting I can support byte-aligned integers up to 64 bits. My arithmetic was ad-hoc and didn't work for e.g., signed 64-bit ints.