The value of the post is that, yes, I could understand the mathematical notation, but I never had the need to dive into how floating point numbers actually work

The value of the post is that, yes, I could understand the mathematical notation, but I never had the need to dive into how floating point numbers actually work. Now it's on HN in an accessible format, and now I know how IEEE 754 works, and I've made an intuitive mental model of it thanks to Fabien's great teaching skills. Math notation is a compact representation of a concept, not a way to _explain_ it. There's no need to be condescending.