И то, и то ок, но сед, как всегда, вырвиглазен шопездец.

@goren на самом деле сед правильней, ибо нужно точно получить число, но в данном конкретном случае awk подойдет, и работает чуть бытсрее

@a13 Может и правильней, но он страшен как ядерная война.