Text this: El papel histórico de la representación decimal en el proceso de formalización de los números reales.