Support 64-bit integers

Tested with GCC.