[ghoward]

Rollover on unsigned ints is well-defined in C.

[hbn]

I think their point is that it's less well defined in the average human's brain

When most people see 0 - 1 they don't immediately think 11111111111111111111111111111111

[ghoward]

We're talking about C, though. I hope the average human is not writing C.

[jcelerier]

the average person writing C is absolutely an average human in terms of relationship with mathematics