time_frac_seconds_prec

time_frac_seconds_prec 
      ::= unsigned_integer 

[rule list]
This rule is called by

-> timestamp_precision -> time_precision