Double negative time at the end of video

[ratijas]

I'm pretty sure this is a UI bug, but wanted to confirm before escalating it to an issue.

The timestamp on the right represents the time until the end of video. Sometimes when the playback hits the end it somehow overshoots, and presumably due to small but rounded to zero value becomes --00:00:00 (not the double negative sign).

It feels like it should be rounding to exactly zero.