PHP int casting如何格式化?

PHP int casting如何格式化?,php,math,int,Php,Math,Int,两个简单的选择: (int)$ref_ios_24_sign/(int)$ref_ios_24 * 100 Result : 35.7894736842 Wanted : 35.7 两个简单的选择: (int)$ref_ios_24_sign/(int)$ref_ios_24 * 100 Result : 35.7894736842 Wanted : 35.7 $a = (int)$ref_ios_24_sign/(int)$ref_ios_24 * 100; $a = (float

两个简单的选择:

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

Result : 35.7894736842
Wanted : 35.7
两个简单的选择:

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

Result : 35.7894736842
Wanted : 35.7
$a = (int)$ref_ios_24_sign/(int)$ref_ios_24 * 100;
$a = (float)$a;
number_format ( $a , 1)