Implement ops for primitives + Ratios

These changes let you use a primitive on the LHS of an op statement
where the RHS is a `Ratio`. This also lets you use primitives on the RHS
of a `BigRational` equation.

Author: turboladen