No rounding with rectangles with double coordinates in AwtPainter