馃崚 Panel: don't round floating paddings to smoothen animation
With HiDPI width and height with fractional parts can be valid. This fixes the jumpiness when the panel floating state changes.
(cherry picked from commit 1b9b30be)