i32 <= -i32
