* `urand64 $aDst0:Dst0+1`

Uniform distribution, 64-bit random integer.