Integer division, defined as Result is rnd_I(Expr1/Expr2)
. The function rnd_I is the default rounding used by the C
compiler and available through the Prolog flag
In the C99 standard, C-rounding is defined as towards_zero.124Future
versions might guarantee rounding towards zero.
Tags are associated to your profile if you are logged in