Re: printing big decimals

[Aharon Robbins]

I've chosen for now to leave things as they are, since this
is documented in the gawk.texi file.  I have added a lint
warning in the code in case this happens.

I suppose I should add a line or two to the man page, as well.

Thanks,

Arnold

> To: address@hidden
> subject: printing big decimals
> From: "Russ Cox" <address@hidden>
> Date: Mon, 24 Mar 2003 16:20:03 -0500
>
> running gawk-3.1.1.
>
> gawk 'BEGIN{x=5*1024*1024*1024; printf("%d\n", x);}'
>
> prints 5.36871e+09.  i think the implicit format for 
> overflow of %d should be %.0f rather than whatever
> it is.  that would preserve the illusion a bit longer.
> i can't find mention of this in the man page.