如何在php中分隔万个数字？

Question

我正在尝试格式化日语数字。

100.000（西方格式）应为10.0000（日文格式）。

我查看了numberFormatter class，但由于某种原因，我的系统上没有该类（php版本5.6.30），

number_format()函数不允许选择分隔符来显示每四个数字而不是每三分之一 并且money_format()没有做任何事情。

setlocale(LC_MONETARY, 'en_GB');
$fmt = 'The final value is %i (after a 10%% discount)';
echo money_format($fmt, 1234.56) . "\n";

结果：

  

最终价值为1234.56（折扣10％后）

是否还有其他功能可能会让我错过了？