Re: gawk: Locale-dependant bug with string to floating point conversion

[Aharon Robbins]

> Aharon Robbins <address@hidden> writes:
>
> > The correct fix will be to de-hardcode the '.' in the replacement strtod().
>
> That's part of the fix, but won't it be a little trickier than that?
> For example, the current POSIX spec requires awk to support
> hexadecimal floating-point constants like "0xep0", regardless of
> whether these constants are in the program or in the input data.

Would you care to cite chapter and verse to prove this assertion, please?
I've skimmed the current posix awk stuff several times, and I never saw
this.

Thanks,

Arnold