> It was IEEE 754 working as advertised. The standard pins down the storage format. It does not pin down behavior.
IEEE 754 absolutely does pin down behavior.
IEEE 754 absolutely does pin down behavior.
That being said, many hardware instruction does not follow strict IEEE 754 behavior.