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