🚀 go-pugleaf

I have been having a bit of trouble with floating-point numbers in
Gawk (2.13, I think) under OS/2 2.0.

I have a script which tallies up some figures (dollar amounts, so they
are floats) and then tries to print them.  I use a line something like

   printf "Total: %.02f, bleagh\n", total;

and all I get is:

   Total: f, bleagh

for output.  Using this same script with Gawk under Linux worked fine,
so naturally I assumed it would work with Gawk under OS/2.

I also tried

   printf "Total:", total, ", bleagh";

and that printed

   Total: 12510 , bleagh

which isn't even close to correct ("total" is nowhere near 12510, or
even 125.10).

Anyone have any ideas of what I can do (other than moving my Gawk
script and my data file to a unix machine)?

Followups have been directed to comp.os.os2.programmer, since I read
that group (and not gnu.utils.bug). :-)

Any info would be helpful; thanks in advance!

--
Ben Cox
thoth@uiuc.edu