Yes, all graphics elements on a panel are positioned at integer positions. The reason was that the 2D graphics primitives all use integer, but I see that this can cause scaling problems. I'll have put this on our growing list of small things to improve in one of the next updates.