Symbol.Arith.Op.divisors operator, for not-too-big bigints ;)
non-recursive Evaluator.eval_head function