> [implicitly approximating numbers like `0.1`] is a widespread practice Sure, but the key point is that it leads to approximation that may cause problems. It

> [implicitly approximating numbers like `0.1`] is a widespread practice Sure, but the key point is that it leads to approximation that may cause problems. It makes much more sense to interpret `0.1` as meaning exactly that number. Same with, say, `29/7`. If someone wants approximation, then have an explicit notation for that, like, say, `1.23e45`.