PHP int cast如何格式化？

Question

(int)$ref_ios_24_sign/(int)$ref_ios_24 * 100 

Result : 35.7894736842
Wanted : 35.7

Answer 1

两个简单的选择:

round(35.7894736842, 1);
sprintf('%0.1f', 35.7894736842);