For a GMP number resource, get_resource_type() gives "GMP integer"
Tipi di risorse
Prima di PHP 5.6, la maggior parte delle funzioni di GMP operano o restituiscono risorse di numeri GMP. PHP 5.6 e successivi usano oggetti GMP al posto di risorse di numeri GMP.
add a note
