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}