RR

RR -- the class of all real numbers. It is a field.

A real number is entered as a sequence of decimal digits with a point.

     i1 = 3.14159
     
     o1 = 3.14159
     
     o1 : RR

See also basictype and numbers.

Go to main index.

Go to concepts index.