Exporting SVG File throws DomException due to invalid stroke-widths

[shepdl]

Exporting an SVG file can throw a DomException due to invalid stroke widths. It says this is because stroke-widths cannot have units. This seems to be because Float.toString prints values less than 0.001 in scientific notation.

[sheymann]

Confirmed on the mailing list.