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();