https://cnrs.hal.science/hal-04116310/document
And also Gerald Sussman saying:
> The only thing that scares me in programming is floating point.
https://youtu.be/Tdwr9tweTDE?t=1145