Fix integer truncating bug in calc_future_timer().