uint64_t fix