- 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 or equal to 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-or-equal-to".

false

> 5 <= 5;

true

> 5 <= 6;

true

> exp(2) <= exp(1);

false

> log(1) <= exp(2);

true

The precision has been set to 12 bits.

> 16385.1 <= 16384.1;

true