This module provides predicates for generating pseudo-random numbers
Number is a (pseudo-) random number in the range [0.0,1.0]
Number is a (pseudo-) random number in the range [Low, Up]
If Low and Up are integers, Number is an integer.
Changes the sequence of pseudo-random numbers according to Seed. The starting sequence of numbers generated can be duplicated by calling the predicate with Seed unbound (the sequence depends on the OS).