VDR MPV Plugin

My TV supports a lot of frame rates, for example (a single line from xrandr output):

1920x1080 60.00 59.94 50.00* 29.97 25.00 23.97 60.00 50.04

Current implementation is based on integer typed frame rate parameter. randr API has to keep reported frame rates unique. This leads to massively wrong rates reported to the MPV plugin via XRRConfigRates, in my case the values are:

50, 60, 61, 62, 63, 64, 66, 67

It makes correct frame rate switching totally impossible. xrandr command line tool itself relies on float-based calculation to determine accurate frame rate values. I've created a patch based on the same principle. Works for me.