i32 > -i64
