This issue is related to comments in #1036.

Right now, when exporting the simulation data to CSV (go in the simulations tab, select a simulation, click the 'Plot / export'-button and in the 'Export data'-tab exporting the simulation), the variables have a fixed number of decimals (in the case of the comments to #1036, a maximum of 3 digits). Sometimes it's necessary for users to have more precise values reported back to them. Because OR internally uses more precise values than those that are eventually exported, it is merely a matter of implementing a new feature for users to be able to control the maximum number of decimals used upon export.

This feature could be implemented as a JSpinner in the 'Export data'-tab in which the user can set the desired number of decimals.