double difftime(time_t time2, time_t time1);
difftime returns time1 - time0 as a double precision number.