SystreGUI: add tool tips for numerical options