Floating point real numbers are treated in a special way. Recall first to create a polynomial, one must first create a polynomial ring to contain it. And then, the polynomial ring is the class of the polynomial.



Floating point real numbers, however, can be created directly, as follows, without creating a ring.


The floating point numbers created above have different precisions, and thus are regarded as being elements of different rings, whose elements all have the same precision.




In order to make it convenient to define methods that apply to all such rings, those rings have a common parent, namely RR'. Notice that RR' is printed in a special way.




The object RR' is a type, with ancestor classes InexactNumber' < Nothing < Thing.