Added functionality for multiplying irrational numbers with rational
coefficients.