Random u64 in [start, end).
u64
[start, end)
unless both are bigints in [0, 2^64 - 1] and start < end.
bigint
[0, 2^64 - 1]
start < end
Random
u64in[start, end).