MODULE BigIntegerPolynomialFmtLex = PolynomialFmtLex (BigInteger, BigIntegerFmtLex, BigIntegerVectorFmtLex) END BigIntegerPolynomialFmtLex.