The test for whether a number is divisible by two can be performed by testing the lowest bit in the number.
Для целых чисел НОД в новом смысле уже не однозначен: противоположное ему число тоже будет НОД.