Return a uint64_t first.