Good point! Side note: Cray-2 did not use IEE 754 floating point.

https://cray-history.net/2021/08/26/cray-floating-point-numb...

Cray did use floating point. It didn't use IEEE standard floating point. Floating point arithmetic is older than the transistor.

Yeah I know. I linked the specs.

Yeah I mean they were surely too old to support it. But the designers of IEEE-754 must have been aware of these systems when they were making the standard.