[bug-gawk] pretty-print rounds to "%.6g"

[Hermann Peifer]

Hi,

I just came across the below rounding issue in pretty-printed code. Not 
sure if this is a feature or rather a (small) bug.

Hermann


$ awk -o/dev/stdout 'BEGIN{ for(i=1420066800; i<=1451602800; i+=3600) 
print i}'
BEGIN {
        for (i = 1.42007e+09; i <= 1.4516e+09; i += 3600) {
                print i
        }
}