You forgot about NaNs (all of them), infinities and positive/negative zeros. Tests warranted.

Don't forget the Intel floating-point division bug from the 90s.

https://en.wikipedia.org/wiki/Pentium_FDIV_bug