It's worth noting that this does also work on signed types, so it can be a kind of handy idiom to see while (N --> 0) { ... } and know it will execute N ti

It's worth noting that this does also work on signed types, so it can be a kind of handy idiom to see while (N --> 0) { ... } and know it will execute N times no matter the details of the type of N.