INTERFACE  LongRealPolynomialIntegerPower = IntegerPower (LongRealPolynomial) END LongRealPolynomialIntegerPower.