Convert uint64 to uint64_t