Export decimal points

The number of decimal points to display for export. This can be overridden during export.