bah ho risolto con number_format() e eregi_replace()

$grandezza = filesize($file_server) ;
$grandezza_kilobyte = ceil($grandezza/1024) ;
$grandezza_kilobyte = number_format($grandezza_kilobyte) ;
$grandezza_kilobyte = eregi_replace(",",".",$grandezza_kilobyte) ;