#!/bin/awk -f
BEGIN { RS="[^0-9eE.+-]" }
//    { sum += $0 }
END   { print sum }