None Integer Rectangle Stroke

The HTML box might not have an integer border width, so let's use float
in SVG.