This change makes me nervous. I know it passes the test suite, but what code will this break, now that it is no longer relaxed about signed/unsigned?