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 .