Timestamp inconsistencies in the Rust Player impl about gecko-media HOT 1 OPEN

The duration and time_update are seconds in doubles because the HTMLMediaElement spec has the time values it exposes as floats. So we're matching the target API's spec here.

If we wanted to export duration and time_update as some kind of TimeStamp, we'd be converting to a TimeStamp in gecko-media, and then converting back to a floating point value when Servo exposed them to JavaScript content.

We should certainly not use floats for time values everywhere, as we're liable to lose precision if we do; we've been burned by that in the past when we were a little greener.

Note that the TimeStamps on frames represent a wall-clock absolute time point, whereas the duration represents a range of time, and the time_update time represents an offset from 0. So they're not semantically all the same concept of time anyway. So rather than unifying into a single concept of TimeStamp, it would make more sense to create TimeDuration and TimeOffset structs for the duration and time_update values rather than making them all TimeStamps.

from gecko-media.