The kernel IEEE754 is providing the default numerical definitions available in any standard environment.
1.6.1