As i understand from the problem description, all variables holds a UInt32 for a number and Bool for a sign, am i correct?
Then, what should i do with:
--
a = 1
b = /*2^32-1 here*/
c = a + b
print c
--
or
--
a = 1
b = -1
c = a xor b
print c
--
?