Floating point complex 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 complex 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 CC'. Notice that CC' is printed in a special way.




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