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.

topindexpreviousupnext