Welcome! Please see the About page for a little more info on how this works.

+1 vote
ago in Clojure by

This is related to issue 1555, but the types at play are different, so the underlying problem might be different too.

rem seems to be returning very incorrect results between bigint and float. Note the large difference in using 10000 as the divisor vs 1e4:

user> (rem 9037601485536036300227801N 10000)
user> (long (rem 9037601485536036300227801N 1e4))

test.check provides a tighter example of clearly incorrect results:

user> (rem 9007199254740993N 2)
user> (rem 9007199254740993N 2.0)

Here's a generative test to reproduce this result:

 100 (prop/for-all [l gen/size-bounded-bigint
                    r (gen/fmap inc gen/nat)]
                   (== (rem l (double r))
                       (rem l (long r)))))

1 Answer

0 votes
ago by
selected ago by
Best answer

I believe that the current Clojure/JVM implementation of (rem 9007199254740993N 2.0) is the same as for (rem (double 9007199254740993N) 2.0), and so for large enough BigInt values will do some kind of rounding in the least significant bits, and so for small divisors will definitely give the wrong numerical answer.

Handling nearly arbitrary levels of precision for arbitrary pairs of numerical arguments of all supported types seems like a tough thing to deliver on, in terms of thinking, development, testing, fixing unanticipated corner cases, etc.

I am not a decision maker here, but I would not be surprised if the Clojure core dev team would lump this kind of behavior under "don't use float/double if you want exact answers, go read 'What every computer scientist should know about floating point arithmetic'"


ago by
A fair response and probably a correct guess about the core team's response! Generative testing just pushes this stuff in your face :) that in itself is a good lesson and a reason to use test.check everywhere.