tireal

Defines a floating-point real number.