Round Real number towards minus infinity
floor(x)
Returns the largest integer not greater than x
.
Result and argument shall have type Real. [Note, outside of a
when clause state events are triggered when the return value
changes discontinuously.]
floor({-3.14, 3.14}) = {-4.0, 3.0}