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