Conceptualizing Division with Remainders