condvar timed_wait uses double as paramater