IEEE 754 corrections