MODULE BigIntegerResidueClassFmtLex = ResidueClassFmtLex (BigIntegerFmtLex) END BigIntegerResidueClassFmtLex.