awk '{s+=$1} END {printf "%.0f", s}' mydatafile