A numerical kernel is providing the following definitions:

  typedef ieee
  typedef integer
  typedef rational
  typedef floating

Parameters:

	ieee	is the type for the machine precision floating point numbers,
	integer	is the type for the integer numbers,
	rational	is the type for the rational numbers,
	floating	is the type for the extended floating point numbers;

Existing kernels

• Default numerical kernel
• Multiprecision numerical kernel based on gmp