MODULE BigIntegerFractionPolynomial = Polynomial (BigIntegerFraction) END BigIntegerFractionPolynomial.