tv2f

    tv2f              71 modules/up/src/Core/util/rusage.cc     last_rtime = tv2f(start_time);
    tv2f              74 modules/up/src/Core/util/rusage.cc     last_utime = tv2f(self.ru_utime);
    tv2f              75 modules/up/src/Core/util/rusage.cc     last_stime = tv2f(self.ru_stime);
    tv2f              86 modules/up/src/Core/util/rusage.cc     utime = tv2f(self.ru_utime) - ru.last_utime;
    tv2f              87 modules/up/src/Core/util/rusage.cc     stime = tv2f(self.ru_stime) - ru.last_stime;
    tv2f              88 modules/up/src/Core/util/rusage.cc     rtime = tv2f(end_time)      - ru.last_rtime;