Podes utilizar a função substr():
<?php
$velocidade = "1234.2767262786726376";
$mostrar = substr(trim($velocidade),0,4);
echo "$mostrar";
?>
Ou melhor ainda, fazes o arredondamento com round() dividindo o valor em bytes de 1KB
<?php
$velocidade = "1234.2767262786726376";
$mostrar = round($velocidade/1024,1);
echo "$mostrar";
?>