Integer part of division of two Real numbers
div(x, y)
Returns the algebraic quotient x/y
with any
fractional part discarded (also known as truncation
toward zero). [Note: this is defined for / in C99;
in C89 the result for negative numbers is
implementation-defined, so the standard function
div()
must be used.] Result and arguments
shall have type Real or Integer. If either of the
arguments is Real the result is Real otherwise Integer.
[Note, outside of a when clause state events are triggered when the return value changes discontinuously.]
div(13,6) = 2