formal_floating_point_definition

formal_floating_point_definition ::= "digits" "<>" 

This rule is called by

-> formal_type_definition