考虑以下PHP代码:
// total is 71.24 (float)
$value = $total * 100;
var_dump($value);
$valuecast = (int)$value;
var_dump($valuecast);
settype($value, 'int');
var_dump($value);
var_dump($value) 显示 float(7124)
var_dump($valuecast) 显示 int(7123)
执行 settype 后, var_dump($value) 显示 int(7123)
如何获取正确的类型转换?