It does not seem to be documented anywhere that the
exponents in a CRE expression are fixnums. For example,
rat(x^(2^31)) => x. This also affects functions which
use Rat internally, e.g. factor, ratsubst....
This is not a bug, but it is an important documentation
Log in to post a comment.