Gui Health Client: Show decimals of timings

Rainer Kartmannrequested to merge
gui-health-show-decimals into master

Changed appearance (timings have decimals and are right-aligned):

Screenshot from 2023-08-24 17-49-00.png

Merge request reports