formal_floating_point_definition

formal_floating_point_definition ::= "digits" "<>" 

[rule list]
This rule is called by

-> formal_type_definition