6.1.0120
+
plus
CORE
 
( n1 | u1 n2 | u2 -- n3 | u3 )

Add n2 | u2 to n1 | u1, giving the sum n3 | u3.

Testing:
T{        0  5 + ->          5 }T
T{        5  0 + ->          5 }T
T{        0 -5 + ->         -5 }T
T{       -5  0 + ->         -5 }T
T{        1  2 + ->          3 }T
T{        1 -2 + ->         -1 }T
T{       -1  2 + ->          1 }T
T{       -1 -2 + ->         -3 }T
T{       -1  1 + ->          0 }T
T{ MID-UINT  1 + -> MID-UINT+1 }T