INTERFACE  BigIntegerPolynomialIntegerPower = IntegerPower (BigIntegerPolynomial) END BigIntegerPolynomialIntegerPower.