File mysql-workbench-start.patch of Package mysql-gui-tools

--- mysql-workbench/source/lua/Workbench.lua
+++ mysql-workbench/source/lua/Workbench.lua
@@ -1683,10 +1683,10 @@
   local x= grtV.toLua(args[1])
   local y= grtV.toLua(args[2])
   local curView= grtV.getGlobal("/workbench/model/currentView")
-  local lowestX= 9999999999.0
-  local lowestY= 9999999999.0
-  local highestX= 0.0
-  local highestY= 0.0
+  local lowestX= 9999999999
+  local lowestY= 9999999999
+  local highestX= 0
+  local highestY= 0
 
   local i, c