Clarify integer division