---

7.6 Extended real operators ¶

Operator: floor = (l real a) l int ¶

Monadic operator that yields the integer equal to a rounded towards negative infinity.

An alias for operator entier. See Real operators.