"Expand" random number from 32-bit to 64-bit when necessary