- expr1 and expr2 represent constant expressions

- The operator < evaluates to true iff its operands expr1 and expr2 evaluate to two floating-point numbers a1 respectively a2 with the global precision prec and a1 is less than a2. The user should be aware of the fact that because of floating-point evaluation, the operator < is not exactly the same as the mathematical operation "less-than".

false

> 5 < 5;

false

> 5 < 6;

true

> exp(2) < exp(1);

false

> log(1) < exp(2);

true

The precision has been set to 12 bits.

> 16384.1 < 16385.1;

false