Anchors centering looks bad in motion

Anchors centering seems to round positions to integers which results in
suboptimal behavior in motion in certain situations.

Please see the two animating images in the attached example. The left
one uses anchors.verticalCenter and the right one is centered manually.
We can clearly see how the right image behaves better when animating
the height.

If this behavior is correct, it should be documented.