Symbol: timeval2double