BSD__hdtoa 1237 vsnprintf.c extern char *BSD__hdtoa(double, const char *, int, int *, int *, char **); BSD__hdtoa 1259 vsnprintf.c digits = BSD__hdtoa(value,