i32 + abs(i32)
