主要是格式化输出的处理，

可以参考这个：printf。

awk '{
 if(NR==1) N=$0;
 else sum+=$0;
}
END{
 printf("%.3f",sum/N);
}'