Floor division (source code)

= Floor division

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