Cast to uint64_t for 64-bit store