Thus svg_point is clearly defined
to have integer coordinates. However, it is not convenient -
SVG handles floating point coordinated perfectly well. Why not
using original type of the serialized collection and let
streams handle representation?
Thanks for the tip, I have adapted the SVG mapper. It now handles
doubles internally, by default