3341: allow factors of coeff to enter powers

* i order to make this work, multiplicity was made to handle Rationals.