gh-155486: Allow non-compact integers in TO_BOOL_INT

[marinelay]

This PR adds an exact-integer guard, _GUARD_TOS_EXACT_INT, for TO_BOOL_INT, allowing non-compact exact integers to remain specialized

• Issue: TO_BOOL_INT repeatedly misses for non-compact exact integers #155486

[bedevere-app]

Most changes to Python require a NEWS entry. Add one using the blurb_it web app or the blurb command-line tool.

If this change has little impact on Python users, wait for a maintainer to apply the skip news label instead.

[python-cla-bot]

All commit authors signed the Contributor License Agreement.

[cocolato]

thanks for doing this, could you please add a new test to test the guard elimination?

[marinelay]

thanks for doing this, could you please add a new test to test the guard elimination?

Sure. I added a test for the guard elimination.
Please let me know if any changes are needed.

[cocolato]

LGTM now. The failed CI seems unrelated to the current changes I'll look into the failed CI. @Fidget-Spinner If you have time, please take a look, thanks!

[cocolato]

I found that the CI failure was caused by a bug in GDB 17.1 on AArch64. I’ll try to fix the JIT GDB tests later.

[miss-islington-app]

Thanks @marinelay for the PR, and @Fidget-Spinner for merging it 🌮🎉.. I'm working now to backport this PR to: 3.15.
🐍🍒⛏🤖

[miss-islington-app]

Sorry, @marinelay and @Fidget-Spinner, I could not cleanly backport this to 3.15 due to a conflict.
Please backport using cherry_picker on command line.

cherry_picker cd98657f0a8767e44c1db40dadedb5e278f7bdac 3.15

[Fidget-Spinner]

@marinelay can you please open a backport?

[bedevere-app]

GH-155699 is a backport of this pull request to the 3.15 branch.

[bedevere-app]

GH-155700 is a backport of this pull request to the 3.15 branch.