Dxf export: more precision for doubles