Explicitly convert float to int. (#1176)

Author: corranwebster

pyface/ui/qt4/code_editor/gutters.py

@@ -133,7 +133,7 @@ def paintEvent(self, event):
             if block.isVisible() and bottom >= event.rect().top():
                 painter.drawText(
                     0,
-                    top,
+                    int(top),
                     self.width() - 2,
                     self.fontMetrics().height(),
                     QtCore.Qt.AlignmentFlag.AlignRight,