IEEE 754 revision