Да меня это сильно удивило , но для булевой арифметики если отрицательное число представлено в допвиде можно всё правильно и складывать и вычитать(для вывода на экран не удобно) . ( типа мы так написали, принимайте как есть, короче, не вижу смысла что-то им писать!) да уж , но как говориться капли камень точат , видел ответ разрабов , что типа планируем в будущем ввести новые типы, значит камень маленько сдвинулся _ надо тюкать дальше.
Иногда для решительного шага в перёд необходимо дать хорошего пинка под зад (не в обиду будет сказано).)