Add "()" when casting to uint64_t for 64-bit store