time_precision

time_precision 
      ::= time_frac_seconds_prec 

This rule is called by

-> current_time_value_fct
-> datetime_type