[Media Player] Change int to double for positions

In previous versions of Plasma, media player had an overflow bug in positions, leading to the player resetting to 00:00.
This only affects files longer than around 33 minutes 20 seconds.

BUG: 397591
FIXED-IN: 5.12.7

Differential Revision: https://phabricator.kde.org/D15311