Clarify basic arithmetic exercise.

Introduce the quot function. Point out that this result will actually be two separate expressions.