如何将 php 中的数字 1,000 格式化为 1k

我正在尝试格式化 php 中数字的输出。我显示了一定数量的帖子，每个用户旁边是帖子总数。但它显示了实际数量，我希望它以更短的格式显示，实际上，就像他们在 SO 享有盛誉的那样

有任何想法吗？

<?
$numbers = array(100,1000,15141,3421);


function format_number($number) {
    if($number >= 1000) {
       return $number/1000 . "k";   // NB: you will want to round this
    }
    else {
        return $number;
    }
}


foreach($numbers as $number) {
    echo $number . " : " . format_number($number);
    echo "\n";
}