seconds_value

seconds_value 
      ::= 
      seconds_integer_value [ "." [ seconds_fraction ] ] 

This rule is called by

-> time_value