Number of decimal places for DXF format

Specifies the number of decimal places which should be used for floating-point numbers in the resulting DXF output (note that the DXF output is an human readable format).