floating point problem. newbie

[moealcoi]

When I run this simple awk program i'm getting confusing results. Why in the 3rd execution awk is always printing 0?

$ gawk '{ printf("%10.6f %10.6f %10.6f\n",$1,$2,$1-$2)}'
3,6 3,6
3,600000 3,600000 0,000000
3,5 3,0
3,500000 3,000000 0,500000
0,6 0,3
0,000000 0,000000 0,000000

$ gawk --version
GNU Awk 3.1.3

Thank you very much!
Miguel

 

[Donatzsky]

That does indeed seem strange.

test.txt
--------
3,6 3,6    <- , as dec. point
3.6 3.6    <- . as dec. point
3,5 3,0
3.5 3.0
0,6 0,3
0.6 0.3
--------

test.awk
--------
{ printf("%10.1f %10.1f %10.1f\n",$1,$2,$1-$2) }
--------

>gawk -f test.awk test.txt
3,600000   3,600000   0,000000
3,000000   3,000000   0,000000
3,500000   3,000000   0,500000
3,000000   3,000000   0,000000
0,600000   0,300000   0,300000
0,000000   0,000000   0,000000

Works fine for me.

gawk 3.1.3 on Windows, Danish locale

- Nis Donatzsky