removes awkward back-and-forth int -> double -> int conversion. the last step also broke uniformity, though it likely doesn't matter much in mpv's playlist shuffle context.