For a GMP number resource, get_resource_type() gives "GMP integer"
Types de ressources
Avant PHP 5.6, la plupart des fonctions GMP opère ou retourne des ressources GMP. Depuis PHP 5.6, utilisez les objets GMP à la place des ressources GMP.
add a note
