Extensions to numeric-prelude including multivariate polynomials and factored rationals.