I think returning `uint` (or `usize` when we have it) here is sensible even though way overlarge in most cases, because the length will almost certainly be used as part of a computation in `uint` space.