libsimple_timevaltodouble.3