historia de los números reales