abs(i) <= i32
