Я пытаюсь вычислить среднее значение некоторых чисел в файле в bash. Я знаю, awk
отлично справляется с
awk '{s+=$1} END {print "Average: " s/NR}' file
но он дает только 3 десятичных знака. Хотя в некоторых случаях этого достаточно, мне нужно 7 десятичных знаков. Как я могу это сделать?