Having done some work in the formal programming language space, I can say without equivocation that floating point is a hot mess. I’m not saying it’s bad, I’m s

Having done some work in the formal programming language space, I can say without equivocation that floating point is a hot mess. I’m not saying it’s bad, I’m saying it’s basically impossible to formally reason about in any kind of useful way.