Wednesday quickie: summing numbers in bash

care of stackoverflow, here's how you sum a bunch of numbers in Bash (or, well, awk):

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