i32 <= abs(i32)
