Symbol: timeval_divide