Added decrement operator to GrayCode.