Invalid integer division (for negative divisors)

[skirpichev]

See failure example from CI:
https://github.com/diofant/python-gmp/actions/runs/16988919362/job/48163779956

    def test_divmod_bulk(x, y):
        mx = mpz(x)
        my = mpz(y)
        if not y:
            with pytest.raises(ZeroDivisionError):
                mx // my
            return
        r = x // y
>       assert mx // my == r
E       assert (mpz(0) // mpz(-9223372036854739465)) == -1
E       Falsifying example: test_divmod_bulk(
E           x=0,
E           y=-9_223_372_036_854_739_465,
E       )

This doesn't "work" locally for me (graalpy-24.2.1-linux-amd64), but following works:

>>> ((0) // (-92233720368547394651))  # should be 0
-1

[skirpichev]

IIUIC, this is not included in 25.0. Ditto a partial fix for #521. When we can expect fix be released?

[msimacek]

The fix for this issue should be in 25.0.1 released on Oct 21th. I didn't propose the partial fix for a backport, so it would only go into the next feature release in spring. If it's compilcating your tests too much, I can propose it for backporting it to 25.0.2 (not sure when exactly that comes out, I guess around Dec)

[skirpichev]

The fix for this issue should be in 25.0.1 released on Oct 21th.

Thanks!

I didn't propose the partial fix for a backport, so it would only go into the next feature release in spring. If it's compilcating your tests too much, I can propose it for backporting it to 25.0.2

I would be happy to drop workarounds, but it's not a big deal.