IntegerDivide[x->INTEGER, y->INTEGER] =: INTEGER
IntegerDivide returns the quotient x divided by y, rounded to the next integer towards zero. It is an error to attempt to divide by zero.
x DIV y
Divide, Modulus.