i decimali li arrotonderò per eccesso

quindi un 9.5 vale 10