toUint64_t