IEEE 754 absolutely does pin down behavior.
That being said, many hardware instruction does not follow strict IEEE 754 behavior.
That being said, many hardware instruction does not follow strict IEEE 754 behavior.