Fix *printf so that it recognizes non-IEEE numbers on i386, x86_64, ia64.
[pspp] / config /
drwxr-xr-x   ..
-rwxr-xr-x 4462 srclist-update
-rw-r--r-- 11780 srclist.txt
-rw-r--r-- 1732 srclistvars.sh