MODULE BigIntegerComplexIntegerPower = IntegerPower (BigIntegerComplex) END BigIntegerComplexIntegerPower.