awk and stdio-common/tst-printf-format-as-double* trouble (mpfr support needed)

[arnold@skeeve.com]

Vincent Lefevre <vincent@vinc17.net> wrote:

> > > At the time, I thought I was getting decimal (exact) arithmetic.
>                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^
> Note that decimal arithmetic and exact arithmetic are two different
> things.

Then I don't understand anything. Not that it matters.

> > > I didn't understand that it was still floating point, which, even
> > > though the precision could be extended, still isn't exact.
> > 
> > Sorry, do you mean decimal floating point support, as in Java's
> > BigDecimal?  I can see how this is very useful for some applications.

I think that's what I meant.

In any case, I ended up with extended precision binary floating point.

Whatever, water long under the bridge.

Arnold