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