MODULE BigIntegerComplexFmtLex = ComplexFmtLex (BigInteger, BigIntegerFmtLex) END BigIntegerComplexFmtLex.