>>71 and 3 are congruent modulo 2. Does that mean I should replace all instances of 3 with 1 since they're ``the same''?
Having an isomorphism between two structures isn't a valid excuse to completely ignore the type system. Just because you're too lazy to use a cast doesn't mean you should encourage Javashitters and PHP curryniggers to continue their loosely-typed idiocy.