I think this is a notation and definition problem. To me, it behaves differently in `Y = 1 / X`, which distinguishes quite strongly between `X = 1 - 0.9999` an

I think this is a notation and definition problem. To me, it behaves differently in `Y = 1 / X`, which distinguishes quite strongly between `X = 1 - 0.9999` and `X = 0.9999 - 1`! If 0.9999 ought be exactly equivalent to 1.0, there ought to be no difference between `1 / (1 - 0.9999)` and `1 / (0.9999 - 1)`. To me, 0.9999 indicates a directional limit, which can't necessarily be evaluated and substituted separately from its context.