INTERFACE  BigIntegerPolynomialFmtLex = PolynomialFmtLex (BigIntegerFmtLex, BigIntegerPolynomial) END BigIntegerPolynomialFmtLex.