These efuns relate to floating-point numbers.
