파일안 숫자를 원하는 자릿수로 변형하는 방법? fprint?

$awk '{print $1*100}' ifile
7.37182
5.67121
43.0881
4.71053
3.80382

위에서 출력된 숫자를 원하는 형식으로 변형...하고 싶은데요,
어떤 방법이 가장 효율적인지요.
즉, 제가 원하는 형태는 아래처럼 소수점 첫째자리까지 표시하는 것입니다.

7.4
5.7
43.1
4.7
3.8

감사합니다.