Assertion list
real number (primary) → IsA
Results from Ascent++: 5
real number → IsA → number 0.78
real number → IsA → complex numbers 0.46
real number → IsA → value 0.43
real number → IsA → random number 0.36
real number → IsA → all the numbers 0.33