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