在双精度型（其中任一参数为浮点数）的情况下，{{quot}} 和 {{rem}} 对非有限参数给出了奇怪的结果
(quot Double/POSITIVE_INFINITY 2) ; Java: Infinity NumberFormatException Infinite or NaN java.math.BigDecimal.<init> (BigDecimal.java:808) (quot 0 Double/NaN) ; Java: NaN NumberFormatException Infinite or NaN java.math.BigDecimal.<init> (BigDecimal.java:808) (quot Double/POSITIVE_INFINITY Double/POSITIVE_INFINITY) ; Java: NaN NumberFormatException Infinite or NaN java.math.BigDecimal.<init> (BigDecimal.java:808) (rem Double/POSITIVE_INFINITY 2) ; Java: NaN NumberFormatException Infinite or NaN java.math.BigDecimal.<init> (BigDecimal.java:808) (rem 0 Double/NaN) ; Java: NaN NumberFormatException Infinite or NaN java.math.BigDecimal.<init> (BigDecimal.java:808) (rem 1 Double/POSITIVE_INFINITY) ; 最奇怪的一个。Java: 1.0 => NaN
quot 和 rem 对双精度型进行除以零的检查，这与双精度型进行除法时的行为不一致
(/ 1.0 0) => NaN (quot 1.0 0) ; Java: NaN ArithmeticException Divide by zero clojure.lang.Numbers.quotient (Numbers.java:176) (rem 1.0 0); Java: NaN ArithmeticException Divide by zero clojure.lang.Numbers.remainder (Numbers.java:191)
附加的补丁 没有 解决这个问题，因为我不知道这是否是预期行为。没有测试断言上述任何行为。
这个行为的基本原因在于 quot 和 rem 的实现有时候（当除法结果大于 long 类型时）会将 double 类型的值强制转换为 BigDecimal，然后转换为 BigInteger，最后再转换回 double。这种强制转换意味着它不能处理非有限中间值。所有这些都是完全没有必要的，我认为这只是当这些方法曾经返回一个boxed的整数类型（long 或 BigInteger）时的遗留废料。这已经在 (链接：https://github.com/clojure/clojure/commit/e4a76e058ceed9b152ffd00b3f83e2800207bc25 文本：这个提交 ) 中更改了返回原始 double 类型，但是方法体没有进行充分的重构。
方法体应该是这样的
`
static public double quotient(double n, double d){
if(d == 0)
throw new ArithmeticException("Divide by zero");
double q = n / d;
return (q >= 0) ? Math.floor(q) : Math.ceil(q);
}
static public double remainder(double n, double d){
if(d == 0)
throw new ArithmeticException("Divide by zero");
return n % d;
}
`
这就是附加的补丁所做的。 (而且我甚至不确定 {{d==0}} 检查是否合适。)
即使让非有限结果爆炸是 quot 和 rem 的期望属性，也不需要 BigDecimal+BigInteger 的强制转换。我可以准备一个保留现有行为但效率更高的补丁。
更多信息请查看 (链接：https://groups.google.com/d/msg/clojure-dev/nSqIfpqSpRM/kp3f5h-zONYJ 文本：Clojure 开发者群组)。
