Hmm do you know that signed numerical types are cyclic?
That means, if you go above 32768, e.g. 32769, you land at -32768.
So if you only tested to add 100000 and tested Electability = 100000 then you'd usually get true, except that it isn't 100k but -31072, which is, e.g., identical to 34464.

Anyways, it isn't too useful because of the heavy condition requirements ;)