It certainly does not, see this comment: https://news.ycombinator.com/item?id=13868201 https://news.ycombinator.com/item?id=13868201 You can remove some digits

It certainly does not, see this comment: https://news.ycombinator.com/item?id=13868201 https://news.ycombinator.com/item?id=13868201 You can remove some digits and get the same result as today (see https://news.ycombinator.com/item?id=13867324 https://news.ycombinator.com/item?id=13867324), but as it lack so many situations as it does I would not say so.