Examine limitations of Floating Point Arithmetic

[utensil]

Add tests to explain and verify them.

• https://www.exploringbinary.com/why-0-point-1-does-not-exist-in-floating-point/
• https://www.exploringbinary.com/floating-point-questions-are-endless-on-stackoverflow-com/
• https://docs.python.org/3/tutorial/floatingpoint.html
• https://floating-point-gui.de/basic/
• https://github.com/vpiotr/decimal_for_cpp
• https://www.boost.org/doc/libs/1_66_0/libs/multiprecision/doc/html/index.html
• https://en.wikipedia.org/wiki/Floating-point_arithmetic#Accuracy_problems

[utensil]

https://egraphs-good.github.io/egglog/?example=herbie