Add transform for unsigned truncated integer-rational division.

Implement the case of A > Y in GEN-UNSIGNED-MUL-BY-FRAC, and use it to
transform truncated division by rationals.