add support for 64-bit integers