exact_num_lit

exact_num_lit 
      ::= 
      unsigned_integer [ "." [ unsigned_integer ] ] 
      | "." unsigned_integer 

This rule is called by

-> mantissa
-> unsigned_num_lit