Please use 4 d.p. speed control instead of 2

[asho23]

Pleaaase please please. I need 4 d.p. speed control to set a speed that will work with SVP to sync screen refresh rate without dropping frames, currently 2 d.p.'s are supported. ChatGPT makes it sound like this is a simple change to the code, just changing 2 to 4:

"The rounding to two decimal places happens in the source code when the playback speed (and pitch) is formatted for display. In particular, in the file mpv/player/command.c you’ll find two functions:

• mp_property_playback_speed()
• mp_property_playback_pitch()

Each of these calls a helper function (mp_format_double) with a hardcoded precision of 2."