Fix bug in quotient over nat denom.
Start of refinements.