在做开发的时候，要求传递的参数是int类型

linux下php7.4.4：

var_dump(strtotime(‘2021-01-01‘));
$a=strtotime(‘2021-01-01‘) * 1000;
var_dump($a);

相乘后变为了float类型

windows下php 7.4.3

还是int类型

[PHP] PHP浮点数float的另一个问题