34e38a835c
So that we don't end up with positions misaligned from the pixel grid. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1510>