Add tests and comments for the integer-rational division.

Extend the div-by-mul test cases to test for unsigned division
of integers by ratios. Add comments and example expressions for
GEN-UNSIGNED-MUL-BY-FRAC-EXPR.