Convert to real in rnd() to get the full 2^32 set.