Fix loss of precision in X11 device info.

(cherry picked from commit 9369b37f1f7aca843182564b0a12ae20b07721b7)

platform/x11/os_x11.cpp

@@ -664,10 +664,10 @@ bool OS_X11::refresh_device_info() {
 		bool absolute_mode = false;
 		int resolution_x = 0;
 		int resolution_y = 0;
-		int range_min_x = 0;
-		int range_min_y = 0;
-		int range_max_x = 0;
-		int range_max_y = 0;
+		double range_min_x = 0;
+		double range_min_y = 0;
+		double range_max_x = 0;
+		double range_max_y = 0;
 		int pressure_resolution = 0;
 		int tilt_resolution_x = 0;
 		int tilt_resolution_y = 0;