Yes, it does: "When integers are divided, the result of the / operator is the algebraic quotient with any fractional part discarded." A note at the end of that sentence says that: 'This is often...