[bug-gawk] Awk cannot properly deal with too small numbers.

[Zhengyu Guo]

Hi,

I encountered a problem when dealing with very small numbers. The test case this shown below

~~~

$ echo 1.1e-307 | awk '$1<0.05{print}'

1.1e-307

$ echo 1.1e-309 | awk '$1<0.05{print}’

~~~

Both commands should print out the input number. However, the second command print out nothing. 

It seems that when the numeric number is too small, AWK cannot process it correctly. 

Thanks!