+ <optionalbox id="use_fuzzy">
+ <doublevalue id="fuzzy_param"
+ label="Fuzzy parameter"
+ tooltip="Additional tolerance to eliminate tiny result."
+ min="1.e-7"
+ max="10"
+ step="1.e-5"
+ default="1.e-5">
+ <validator id="GeomValidators_Positive"/>
+ </doublevalue>
+ </optionalbox>