doubleValue       135 eval/eval-parse-expr.cpp 					name = doubleToStr(doubleValue());
doubleValue       231 eval/eval-parse-expr.cpp 					double d = doubleValue();
doubleValue      1060 eval/eval-parse.h 	double doubleValue();