Re: Rounding error in gawk 3.1.1 & 3.1.4

[Hans-Bernhard Broeker]

"Ratcliffe, Jeffrey (Peters)" <address@hidden> wrote:

> Both results should, of course, be 3.

No, they shouldn't.  You're making the very common mistake of assuming
that floating-point numbers will behave exactly as real numbers.
Well, they don't.  Or, as the saying goes:

        In computing 10.0 times 0.1 is hardly ever 1.0

-- 
Hans-Bernhard Broeker (address@hidden)
Even if all the snow were burnt, ashes would remain.