i32 <= -i
