Describir: Infinitesimals via Cauchy sequences: Refining the classical equivalence