eal: provide pseudo-random floating point number