« first day (1 day earlier) 

11:07
Your 4. seems (to me :-) ) to be erroneous.
It informs your question "So my question is, why we use the classical properties of infinity where ∞+n=∞+k
which are less precise and causes loss of information?".
I suggest that if that construict does NOT lose information then the emperor, and your infinity as well, has no clothes on :-)
Infinity = N/0 for all N. If that contains less information than making infinity effectively non infinite then (I suggest)( :-) again) that summat gang aglae.

« first day (1 day earlier)