Mentre facevo “paletta”, un problema dove si può prendere un quinto del punteggio di una subtask risolvendo il problema parzialmente, mi sono accorto che il pc fa un piccolo errore nel calcolo della divisione e poi fa vedere tutte le cifre del risultato.
Per esempio in una subtask da 19 mi ha assegnato 19/5 = 3.8000000000000003 punti.
Si potrebbe arrotondare il punteggio a 2/3 cifre decimali per renderlo un po’ più chiaro?