Index   Zurück   Fenster schliessen	numeral numeral ::= digit {digit | underline} siehe LRM 2.4.1 wird genutzt von: base decimal_literal exponent