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}