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