Case you explain this? Is this a case that's missing from our `succ` implementation, or does `upto` behave differently from `succ`?