On Wed, Sep 27, 2023 at 11:20:24AM +0200, Thomas Haller wrote: > If we have a plain EXPR_VALUE value, there is no need to copy > it via mpz_set(). Applied, thanks
On Wed, Sep 27, 2023 at 11:20:24AM +0200, Thomas Haller wrote: > If we have a plain EXPR_VALUE value, there is no need to copy > it via mpz_set(). Applied, thanks