MODULE LongRealPolynomialIntegerPower = IntegerPower (LongRealPolynomial) END LongRealPolynomialIntegerPower.