svga: fix incorrect round-down arithmetic