/ (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