Sugiro que você use awk
em vez de sed
.
Se o seu arquivo de entrada file.dat
contiver uma entrada por linha, isso funcionará:
$ awk '{ print $1/2"px"}' file.dat
Se você precisar de matemática mais sofisticada, use gawk
em vez de awk
.