flagging unsigned subtraction assigned to bigger signed number?

[Walter Bright]

In my not-so-humble opinion, every cast is a bug, as it breaks the type system.

I posted an example that showed how this particular problem can be dealt with 
without casting.