INTERFACE BigIntegerMatrixFmtLex = MatrixFmtLex (BigIntegerFmtLex, BigIntegerMatrix) END BigIntegerMatrixFmtLex.