MODULE  LongRealComplexFmtLex = ComplexFmtLex (LongRealBasic, LongRealFmtLex) END LongRealComplexFmtLex.