Assertion list for term "random number".

Results from Ascent++: 1
real number IsArandom number 0.36