Earlier quoted context omitted.
> But 0.9 bar isn't equal to 1. Oh! I see what you did there! This is a foundational problem in our anthropogenic decimal system of math (which we only use because of the evolutionary accident of a modal (n.b.: not average) human happening to have ten fingers); the whole issue doesn't even exist in the only correct representation of numbers, ternary (base-3). For example, let's multiply 1 / 3 * 3: In decimal `1.0 / 3…
In a ternary system, wouldn't 1.222... equal 2?
I find it really fascinating that different numeric bases all suffer from this same issue, but for different values. That the division by three which breaks decimal representation survives in ternary, but the division by two which is fine in decimal breaks ternary.
Of course, it seems to me that the real underlying problem is that we insist on writing these values out as an infinite series of fractional digits in the first place, instead of keeping the values in a precise fraction form. One third times three equals one; there’s no controversy there even in decimal. It’s only when someone insists on actually performing the division and representing that initial “one third” value as being a zero followed by an infinite number of fractional threes that the whole “omg 0.9 bar equals one??” paradox appears.