Dashboard: customizing the display format of values

this matches my request: Personnaliser l'affichage des décimales