r7928: support 64-bit long ints