Aquí se muestra la salida, que debería ser correcta en precisión doble: