If the thumbnail size is xx.5 %, the dock does not appear on mouse hover

[demokritos]

###Linux Distribution version Arch Linux

###Gnome Shell version 3.34.1

###Xorg or Wayland (or both) Xorg

###Extension version or branch master

###Description of the problem If the thumbnail size is not integer %, the dock does not appear on mouse hover.

###Steps to reproduce the problem

1. Set the workspace thumbnail size to 12.5% in extension preferences
2. Turn on Autohide
3. Move mouse cursor to the screen edge