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}