version of integers as a blend of two copies of naturals - one with suc and one with pre, but only one order operation