[MPlayer-dev-eng] Change pts values to use doubles instead of floats

[Rich Felker]

On Mon, Apr 24, 2006 at 02:21:33PM -0700, Corey Hickey wrote:
> Other than that, assuming it doesn't break anything unforseen or have a 
> measurable slowdown, the patch should be ok. I'm all for increasing 

Using double is not slower than using float. The only reason to ever
use float is when you're storing a huge array of floating point values
and double would use twice the memory/diskspace.

Rich