[FFmpeg-user] Float formatting in drawtext