Você pode fazer sua matemática no awk facilmente. Aqui está um exemplo:
awk '{ total+=$1 } END { print total }'
Se você realmente quisesse usar o bash, você poderia usar um loop simples para ler uma linha de cada vez e adicioná-la:
count=0
while read -r number _; do # put the first column in "number" and discard the rest of the line
count=$(( count + number ))
done < /tmp/foo
echo $count