Change original WebMediaPlayer signatures from float to double.

webkit/media/webmediaplayer_util.cc

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "webkit/media/webmediaplayer_util.h"
 
 #include <math.h>
 
 namespace webkit_media {
 
-base::TimeDelta ConvertSecondsToTimestamp(float seconds) {
-  float microseconds = seconds * base::Time::kMicrosecondsPerSecond;
-  float integer = ceilf(microseconds);
-  float difference = integer - microseconds;
+base::TimeDelta ConvertSecondsToTimestamp(double seconds) {

[DaleCurtis, 2013/04/16 01:19:48]

This is a lot simpler written as:

const double microseconds = seconds * base::Time::kMicrosecondsPerSecond;
return base::TimeDelta::FromMicroseconds(
    microseconds > 0 ? microseconds + 0.5 : ceil(microseconds - 0.5));

[acolwell GONE FROM CHROMIUM, 2013/04/16 16:58:15]

Done.

+  double microseconds = seconds * base::Time::kMicrosecondsPerSecond;
+  double integer = ceil(microseconds);
+  double difference = integer - microseconds;
 
   // Round down if difference is large enough.
-  if ((microseconds > 0 && difference > 0.5f) ||
-      (microseconds <= 0 && difference >= 0.5f)) {
-    integer -= 1.0f;
+  if ((microseconds > 0 && difference > 0.5) ||
+      (microseconds <= 0 && difference >= 0.5)) {
+    integer -= 1.0;
   }
 
   // Now we can safely cast to int64 microseconds.
   return base::TimeDelta::FromMicroseconds(static_cast<int64>(integer));
 }
 
 }  // namespace webkit_media