Comment puis-je déterminer si un nombre est un nombre entier avec PHP GMP

Question

J'ai un objet GMP et je dois faire

if(is_int($a)){ 
    /*Do something*/ 
} 

J'ai essayé de le convertir en un int et de vérifier wether c'est le même t gmp_cmp, mais ça ne marche pas pour moi.

Answer 1

Turns out PHP GMP seulement des entiers; Les valeurs devenaient mutilées.

Answer 2

Vous pouvez utiliser la fonction php is_numeric pour ce faire.

par exemple

if(is_numeric($value)) 
{ 
    echo "$value is a number"; 
} 

Hope this helps