Round Real number towards minus infinity
integer(x)
Returns the largest integer not greater than x.
The argument shall have type Real. The result has type Integer.
[Note, outside of a when clause state events are triggered when the return value changes discontinuously.]
integer({-3.14, 3.14})
= {-4, 3}