[eru]

> You could never even consider all of the possible combinations and interactions, let alone test them.

Nobody has ever tested all possible inputs to 64 bit multiplication either. You can sample from the space.

[pixl97]

Eh that sounds a bit different to me, multiplication should be roughly the same operator on each test, these are wildly different functions.

[deepsun]

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

[MaxBarraclough]

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

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

[eru]

I was being a bit hyperbolic.

However, sampling really is the way to go when you face a combinatorial explosion. (If you can't prove it correct, that is.)