php 浮点数bug

echo intval(4000 / 19 * 19);  // 3999
echo intval(strval(4000 / 19 * 19));  // 400

echo intval(4000 / 19 * 19); // 3999 echo intval(strval(4000 / 19 * 19)); // 400