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