time_frac_seconds_prec ::= unsigned_integer
This rule is called by -> timestamp_precision -> time_precision
-> timestamp_precision -> time_precision