Multiprecision numerical kernel based on gmp

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;