O número 1 é int
mas 1.0 não é int
, é um float
ou também pode ser double
ou decimal
dependendo da linguagem. Entendeu a diferença?
Portanto 1.0 ou 1.0000, nunca será um int
.
Comprove com um teste
$str = 1.00;
var_dump(gettype($str)); // retorna double
var_dump(is_int($str)); // retorna false
Um adendo, tome cuidado com essa expressão regular, pois -1 é um inteiro, mas a expressão retorna falso:
if (!preg_match('/^[1-9][0-9]*$/', $str)) {
echo 'não é inteiro';
}
Testando número inteiro negativo
$str = -1;
var_dump(gettype($str)); // retorna integer
var_dump(is_int($str)); // retorna true