[MPlayer-dev-eng] float vs. double

[Sidik Isani]

Hi -

  It seems like rounding errors in some of the time sync calculations
  accumulate after a while.  They might be less if "double" was used.
  And aren't most of our processors as fast at dealing with a double?
  I guess it doesn't matter since pts_correction eventually picks up
  the slack, but it uses float too, so it might get less and less
  precise toward the end of a long movie.  Just curious if there's a
  reason a float is better?

Be seeing you,

- Sidik