doubleToString   3847 core/AvmCore.cpp Stringp AvmCore::doubleToString(double d)
doubleToString    109 eval/eval-avmplus.cpp void AvmplusHostContext::doubleToString(double d, char* buf, size_t bufsiz)
doubleToString    149 utils/avmc/avmc.cpp void AvmcHostContext::doubleToString(double d, char* buf, size_t bufsiz)