Expanded description of the division algorithm.