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].