我在检查Clojure实现中类型Ratio的新clojure.core/abs实现时，发现代码中存在一个假设，即使用类型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实现中源文件Numbers.java中的其他Ratio出现，据我所知，唯一的问题是LongOps类中的divide方法。如果该方法通过在分子和/或分母等于Long/MIN_VALUE时检测特殊案件，并在此情况下表现不同，我看不出有其他bug。
如果分子等于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
