beh funzionava anche l'idea di dottWatson, era meno enigmatica: bastava arrotondare ad 1 decimale e poi formattare l'output a 2 decimali

cmq ottima l'idea di: round($valore*20)/20