我在查看新的 clojure.core/abs 实现，在类型 Ratio 上，发现代码中有一个假设，即类型 clojure.lang.Ratio 的分母总是正数（例如，参见图 Ratio 类的 isNeg 和 isPos 方法定义）。
我开始寻找违反该假设的案例，并找到了以下所有案例，都可能是对具有 Long/MIN_VALUE 作为分母、整数（Long 类型或更小）作为分子产生的 Ratio 类型的值的独特情况。
$ clj -Sdeps '{:deps {org.clojure/clojure {:mvn/version "1.11.0-alpha4"}}}'
Clojure 1.11.0-alpha4
user=> (/ 1 Long/MIN_VALUE)
-1/-9223372036854775808
user=> (< (/ 1 Long/MIN_VALUE) 0) ;; This gives correct numerical answer
true
user=> (< (* 1 (/ 1 Long/MIN_VALUE)) 0) ;; This does not
false
user=> (abs (/ 1 Long/MIN_VALUE)) ;; Gives incorrect numerical answer
1/-9223372036854775808
user=> (< (abs (/ 1 Long/MIN_VALUE)) 0) ;; correct numerical answer
false
user=> (< (* 1 (abs (/ 1 Long/MIN_VALUE))) 0) ;; incorrect numerical answer
true
我仔细检查了 Clojure 实现 source 文件 Numbers.java 中其他 Ratio 的出现，据我所知，唯一的问题是 LongOps 类中的 divide 方法。如果该方法通过检查分子和/或分母等于 Long/MIN_VALUE 的特殊情况来避免这个问题，并在该情况下有所不同，我没有看到其他错误。
如果分子等于 Long/MIN_VALUE，还有一个问题，其根本原因与相同的 LongOps divide 方法有关。
user=> (/ Long/MIN_VALUE -3) ;; should return positive value, but returns negative value
-9223372036854775808/3
user=> (< (/ Long/MIN_VALUE -3) 0)
true
