Large integers have the type designation int . When computing in , the programmer must make sure that the integer representations are within the prescribed residue system. Elements of residue class rings have no special type designation. They should be declared as single or int depending on the size of the modulus. The rational number 0 is represented by the atom 0.
Rational numbers have the type designation rat .
A real number has the form with and or sign sign f . This is the case, for example, for the negation of a real number or the addition of 0. Otherwise, you will always obtain a value which satisfies the estimate above. The real number 0 is represented by the atom 0. Real numbers have the type designation floating .