Format tv_usec as int32_t in timeval2timestring()