getting the sum of numbers

I basically have a file where I had to do a bunch of greps to get a list of numbers

example: a file called numbers.txt

10000
10000
superman
10000
batman
10000
10000

grep '100' * |

10000
10000
10000
10000
10000

what cant I pipe the grep with that will add up all the output into 50000?

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

thank you. worked perfectly