INTERFACE BigIntegerComplexFmtLex = ComplexFmtLex (BigIntegerFmtLex, BigIntegerComplex) END BigIntegerComplexFmtLex.