What is the relationship between these two modules? Both try to minimize
subtle bugs due to overflow.

However, both approaches cannot be easily combined as xsize expects
unsigned integers while idx is a signed one.

What is the suggested use of these modules for new code?

Thanks,

Marc