Une version objet des entiers GMP en précision arbitraire, permettant
de donner une interface de type "int" à ces entiers, de l'algorithmique de la théorie des nombres, des rationnels en précision arbitraire, de nombreuses variantes d'implémentations des corps finis (corps premiers ou extensions) de taille le mot machine, la reconstruction entière et rationnelle d'entiers modulaires par les restes chinois, une structure de polynômes univariés paramétrée par le domaine des coefficients (donc une structure multivariée récursive), des structures de données vectorielles et matricielles gérées par compteurs de références.