Avoid rounding down viewport dimensions in Media Queries

third_party/WebKit/Source/core/css/MediaValuesCached.cpp

Index: third_party/WebKit/Source/core/css/MediaValuesCached.cpp
diff --git a/third_party/WebKit/Source/core/css/MediaValuesCached.cpp b/third_party/WebKit/Source/core/css/MediaValuesCached.cpp
index 3dedbd11e152c4ccac1ab5112bc34900eebc0253..b4fd8efdf121e920ac7d4d408cc3653c5ae6cf91 100644
--- a/third_party/WebKit/Source/core/css/MediaValuesCached.cpp
+++ b/third_party/WebKit/Source/core/css/MediaValuesCached.cpp
@@ -100,12 +100,12 @@ bool MediaValuesCached::isSafeToSendToAnotherThread() const
 #endif
 }
 
-int MediaValuesCached::viewportWidth() const
+double MediaValuesCached::viewportWidth() const
 {
     return m_data.viewportWidth;
 }
 
-int MediaValuesCached::viewportHeight() const
+double MediaValuesCached::viewportHeight() const
 {
     return m_data.viewportHeight;
 }
@@ -185,12 +185,12 @@ bool MediaValuesCached::hasValues() const
     return true;
 }
 
-void MediaValuesCached::setViewportWidth(int width)
+void MediaValuesCached::setViewportWidth(double width)
 {
     m_data.viewportWidth = width;
 }
 
-void MediaValuesCached::setViewportHeight(int height)
+void MediaValuesCached::setViewportHeight(double height)
 {
     m_data.viewportHeight = height;
 }