Rounding of decimals in TikZ export
I had a very old very of GeoGebra, which used to do everything I wanted.
In the current version I'm using when choosing Export as PGF/TikZ decimal numbers are 'not' rounded, but appear in full expanded form. This ensures more precision when plotting but this is usually not needed. Rounding to 3 decimals is usually more then enough.
The current export shows somthing like this:
Notice how integers have a decimal point -1. instead of just -1 and the long expansion of the floating numbers.
This could be uncluttered as: (as it was in the old version 3.2).
Choosing a rounding in the options menu doesn't change this.
It would be nice if one could choose the amount of rounding in the TikZ export.
My current GeoGebra setup: