Re: gawk number to string bug

[Eli Zaretskii]

> From: =?UTF-8?B?SsO8cmdlbiBLYWhycw==?=
>  <address@hidden>
> Date: Sat, 24 Dec 2005 21:35:32 +0100
> Cc: 
> 
> Here is an old version which is still online:
> 
> http://www.opengroup.org/onlinepubs/007908799/xcu/awk.html

Thanks.  This says that printf should behave as it does in C, with
minor exceptions (which, AFAICS, are not relevant to this thread).  It
also says that integral values should be output as if formatted with
%d, so %.0f is not a good idea, I think.