Did you know ... Search Documentation:
Function div/2
Availability:Arithmetic function (see is/2)
[ISO]div(+IntExpr1, +IntExpr2)
Integer division, defined as Result is (IntExpr1 - IntExpr1 mod IntExpr2) // IntExpr2. In other words, this is integer division that rounds towards -infinity. This function guarantees behaviour that is consistent with 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
Tags:
LogicalCaptain said (2020-10-16T21:37:13):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.
See also divmod/4 (not visible in the function in the header list because it is listed under "special arithmetic functions")