64-bit integers