小数点后面位数补0

有这样的可变数字

$a = 8000.1;//一位小数

或者

$a = 8000.10;//两位小数

如何能让小数不够3位数的，在前面用0补够3位小数呢？

想变成

8000.001

8000.010

回复讨论(解决方案)

echo number_format(8000.10,3,’.’,”);
//8000.100

你确定是前面用零补位？

实在不行用小数点分割字符串，小数点部分用str_pad补3位后再连接起来也行

但是你确定是在前面补，这样数字就不一样了。。。