Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?

[arnold]

"Jannick" <address@hidden> wrote:

> Good point, thanks. My program needs 30 bits of precision, so I am more than
> on the safe side here and no update circus needed. Great!

If all you need is 30 bits, why not use hardware floating point, which
is much faster?

> May I mention two tiny things for the manual which, of course, I will leave
> with you if you want to add that to the gawk documentation in some form:

Andy, please review and update as needed.

Thanks!

Arnold