GMP
PHP Manual

Constantes pré-définies

Ces constantes sont définies par cette extension, et ne sont disponibles que si cette extension a été compilée avec PHP, ou bien chargée au moment de l'exécution.

GMP_ROUND_ZERO (entier)
GMP_ROUND_PLUSINF (entier)
GMP_ROUND_MINUSINF (entier)
GMP_VERSION (string)
La version de la bibliothèque GMP

GMP
PHP Manual