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