counting non integer number in awk

Hi, I am having the following number in the file tmp

31013.004
20675.336
43318.190
30512.926
48992.559
277893.111
41831.330
8749.113
415980.576
28273.054

I want to add these numbers, I am using following script

awk 'END{print s}{s += $1}' tmp

its giving answer 947239 which is correct, but it is rounding off, and giving the number,

The exact answer is 947239.199, How can i get this answer by using awk script?

Please help me

Thanks,
Chaitanya

The AWK Manual - OFMT

Or use printf

awk '
{s += $1 } 
END {
   printf "%.3f\n",s 
   }
' tmp

Thank you very much

Chaitanya.