Index   Zurück   Fenster schliessen	formal_floating_point_definition formal_floating_point_definition ::= digits <> siehe LRM 12.5.2 wird genutzt von: formal_type_definition