Assertion list for term "real numbers".

Results from Ascent++: 3
coordinate IsAreal numbers 0.25
integer IsAreal numbers 0.25
number (aspect of graph) IsAreal numbers 0.25