Report vertical refresh rates to two decimal places so that one can tell
the difference between common frequencies such as 59.94 vs 60.00Hz.
(LP: #1407558)

I'm kind of undecided about this. Although slightly on the side of
preferring two decimal places because that's the precision most commonly
used in the industry. If people do round then they tend to round to the
nearest whole number. Never one decimal place.
. Fixes: https://bugs.launchpad.net/bugs/1407558.

Approved by PS Jenkins bot, Alan Griffiths.