i64 <= -i32
