Use floor division to order widget for focus

GTK internally use gint to make such computation, so to mimick it correctly we
must use a floor division.