numberFraction   1135 eval/eval-lex.cpp 							numberFraction(true);
numberFraction   1167 eval/eval-lex.cpp 					numberFraction(false);
numberFraction   1222 eval/eval-lex.cpp 					numberFraction (true);
numberFraction    368 eval/eval-lex.h 	void numberFraction(bool has_leading_digits);