Handy awk script to find min, max, avg, etc:

cat ../giza.en-fr/en-fr.A3.final.compact | awk '{ if (NR==1) { sum=min=max=$2; } else { sum+=$2; min=(min<$2)?min:$2; max=(max>$2)?max:$2; } } END { print "avg: " sum/NR " min: " min " max: " max; }'