Re: gawk round-up 0.5 bug?

[Jeff Chua]

On Wed, Jun 18, 2008 at 5:10 PM, David Kastrup <address@hidden> wrote:
> "Jeff Chua" <address@hidden> writes:
>> I would think 0.5 should be rounded to 1.
> Why?

Sorry, all the while I was just thinking of the "traditional" way of
rounding up.

Thanks for the pointer.

Jeff.