PHP将数字解释为浮点数,即使它们小于INT_MAX

PHP文档 here 声明:

但是,如果一个操作的结果小于PHP_INT_MAX,该怎么办?

请将此代码片段作为示例:

$max_int = 2**31-1 ; //  2147483647
var_dump(PHP_INT_MAX === $max_int); // false

如您所见,即使一个操作产生一个有效的int值,PHP似乎也会将结果转换成float

var_dump(PHP_INT_MAX === (int) $max_int) // true

我的问题:

在进行任何计算之前,PHP解释器是否将结果转换为float?

PHP不应该计算结果然后相应地设置类型吗?(有道理吧?)

编辑:

PHP版本:7.2.1 32位

我在用XAMPP