For a GMP number resource, get_resource_type() gives "GMP integer"
Tipos de recursos
Antes de PHP 5.6, la mayoría de las funciones de GMP operan con o devuelven recursos de número GMP. Desde PHP 5.6 en adelante se usan objetos GMP en lugar del recursos de números GMP.
add a note
