UPDATE (2020-01-11): A more detailed specification can be found here: LeanFloat (GitHub). I’ve been developing software for over 30 years, and during those years I have frequently come across problems relating to a few features of the IEEE 754 floating point standard, namely: Denormalized numbers Configurable rounding modes Recently I have also developed a custom …