__format_grouped_double
asciivalue = __format_grouped_double(value, &flags,
static char *__format_grouped_double(double, int *, int, int, int);