and verify the division algorithm.