Get a reproducible random floating point number, see rand_int for details on test case random numbers.
a random number from the seeded random number generator.