The kernel GMP is providing a numerical kernel with extended arithmetic based on gmp

Parameters:

ieee	is double
integer	is the gmp type `mpz` for large integer numbers;
rational	is the gmp type `mpq` for large rational numbers;
floating	is the gmp type `mpf` for extended floating point numbers;