Use the uint64_t type for 64-bit ints