Changes Uint64 to uint64_t