Various exploitations of the IEEE 754 floating-point standard.