Fixes integer overflow in dispatcher_yield()