For a GMP number resource, get_resource_type() gives "GMP integer"
Ressource-Typen
Vor PHP 5.6 operierten die meisten GMP Funktionen auf GMP Zahlen-Ressourcen oder gaben solche züruck.PHP 5.6 und neuer verwenden GMP Objekte statt der GMP Zahlen-Ressourcen.
add a note
