Manual
Programming Reference
u64 random_u64()
Generates one random 64-bit unsigned integer.
Returns the generated number.