#2886: Add "full" inverse production, cancellation of factors by their inverse and resolution of compound division.