[PATCH, RFA] Reworked fix for PR4402

[Nathan Myers]

On Sat, Dec 01, 2001 at 09:47:37PM +0100, Paolo Carlini wrote:
> +      // Grouping needs typically ~1/3 additional chars, but this is
> +      // only a first approximation. More work is needed here to accurately
> +      // estimate the minimal safe size for __ws...

It's easy to estimate: grouping can add (almost) as many separators as 
the number of digits, but no more.

Nathan Myers
ncm@cantrip.org