"¿Para qué hacer esto? Precisamente para eliminar la posibilidad de que existan números distintos 0,9* y 1.