VLC duration to TimeSpan

if (MediaTimeSpan.Seconds == 0) {
    float a = MediaPosition * (float)vlc.Media.Duration.TotalMilliseconds;
    MediaTimeSpan = new TimeSpan((long)a * 10000);
}