MODULE BigIntegerPolynomialIntegerPower = IntegerPower (BigIntegerPolynomial) END BigIntegerPolynomialIntegerPower.