i <= abs(i32)
