INTERFACE  BigIntegerComplexIntegerPower = IntegerPower (BigIntegerComplex) END BigIntegerComplexIntegerPower.