价格是这样的，定长12位，最小值是1分，例如5.1元转换过来就是000000000510
求PHP实现，要求效率高方法
------解决方案--------------------
echo str_pad($money*100,12,"0",STR_PAD_LEFT);