 Floor division

The operation returning $\lfloor a/b\rfloor$ for $b\ne 0$. It rounds the exact quotient toward negative infinity; for nonnegative integers and positive $b$, it is the quotient in Euclidean division.