timetick2dblnum  7108 process.c              return timetick2dblnum(ttp, numerators, num_numerators, denominators, num_denominators);
timetick2dblnum  7112 process.c              return timetick2dblnum(ttp, numerators, num_numerators, denominators, num_denominators);
timetick2dblnum  7115 process.c              return timetick2dblnum(ttp, numerators, num_numerators, denominators, num_denominators);