fix and re-enable JXG.Ticks.generateLabelValue()