sumnum: Change to awk script from POSIX sh to support real number