INTERFACE BigIntegerComplexIntegerPower = IntegerPower (BigIntegerComplex) END BigIntegerComplexIntegerPower.