MODULE BigIntegerMatrixIntegerPower = IntegerPower (BigIntegerMatrix) END BigIntegerMatrixIntegerPower.