I use a tier list instead of a "top 5 illustrated proofs" list. This is definitely C tier, which means it's as good as combining a couple proofs in the A and B tiers by taking the root of the sum of squares.
I don't think having well-defined precision is a rare requirement, it's more that most devs don't understand (and/or care) about the pitfalls of inaccuracy, because they usually aren't obvious. Also, languages like JavaScript/PHP make it hard to do things the right way. When I was working on an old PHP codebase, I ran into a popular currency library (Zend_Currency) that used floats for handling money, which I'm sure works fine up until the point the accountants call you up asking why they can't balance the books. The "right way" was to use the bcmath extension, which was a huge pain.
Implementation restriction: although numeric values have arbitrary precision in the language, implementations may implement them using an internal representation with limited precision. That said, every implementation must:
Represent integer values with at least 256 bits.
Represent floating-point values with a mantissa of at least 256 bits and a signed binary exponent of at least 16 bits.
Give an error if unable to represent an integer value precisely.
Give an error if unable to represent a floating-point value due to overflow.
Round to the nearest representable value if unable to represent a floating-point value due to limits on precision. These requirements apply to the result of any expression except for builtin functions, for which an unusual loss of precision must be explicitly documented.
That works until you realize your calculations are all wrong due to floating point inaccuracies. YAML doesn't require any level of precision for floats, so different parsers on a document may give you different results.
YAML doesn't require any level of accuracy for floating point numbers, and that doc appears to have numbers large enough to run into problems for single-precision floats (maybe double too). That means different parsers could give you different results.
Image is accurate, since without bugs, the food chain collapses and takes society with it, and the survivors will have to migrate to rural areas that can support a hunter-gatherer lifrstyle.
I use a tier list instead of a "top 5 illustrated proofs" list. This is definitely C tier, which means it's as good as combining a couple proofs in the A and B tiers by taking the root of the sum of squares.