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