Integer division, defined as Result is (IntExpr1 - IntExpr1modIntExpr2)
// IntExpr2. In other words, this is integer division that
rounds towards -infinity. This function guarantees behaviour that is
mod/2, i.e., the
following holds for every pair of integers
X,Y where Y =\= 0.
Q is div(X, Y),
M is mod(X, Y),
X =:= Y*Q+M.
Tags are associated to your profile if you are logged in