INTERFACE BigIntegerMatrixIntegerPower = IntegerPower (BigIntegerMatrix) END BigIntegerMatrixIntegerPower.