Non-integer refresh rates are rounded too much
See mutter#1766 (closed) and this screenshot from there:
Since there is a difference between the two 60 Hz refresh rates, it would be nice to be able to distinguish them. Adding a third decimal would probably be enough, but mutter#1766 (comment 1344505) proposes a more complex solution.
Tested in 41.2.