Este es un ejemplo de el uso del operador de conversión, que discutiremos con más detalle en la Sección 2.11.