I won't claim this is the "best" way, but it's probably what I'd do if it's just an output issue:
printf ("The value is %.3f", $value / 1000);
If you want to assign it to a variable, it might be more efficient to do:
$var = round($value / 1000, 3); // makes sure there is no floating point precision problem