back to uint64_t