For a GMP number resource, get_resource_type() gives "GMP integer"
Prior to PHP 5.6, most GMP functions operate on or return GMP number resources. PHP 5.6 onwards uses GMP objects in place of GMP number resources.
For a GMP number resource, get_resource_type() gives "GMP integer"