/ (integer division)

This is the integer division operator.

The result is rounded down to the nearest integer. This is meant to ensure that for integers x and y, y!=0

(x % y) + y * (x / y) = x

holds

See a worked example here

And a slightly more complex example using an instance of the n-fractions puzzle here