06-01-2020 21:00
¡Joder con la diferencia de punto flotante! Gracias, Cikio. Y perdón por irme a lo fácil y ni usar el Google. Es que usaba una web chula gracias a este hilo, con más datos todavía sobre rendimiento y que se le podían añadir más cosas, y he vuelto vago de comer roscón de reyes (puaj, ni tenía crema, pero mi pobre madre pilló el que pudo) y no he buceado en el hilo.