trim leading zeros before parsing str -> int

[samuelcolvin]

Change Summary

Trim leading zeros as well as other cleaning while coercing strings to ints.

Prior to #1250 we used str.parse::<i64>() and str.parse::<BigInt>() to coerce strings to integers, in #1250 we adopting the integer parsing logic from jiter (e.g. the logic we use to build integers from JSON strings), in JSON 0001 isn't a valid number, but I was unaware that str.parse::<i64>() did allow it, hence the break.

With this change we stripe leading zeros as part of other cleaning like striping whitespace, stripping .0+, and removing single underscores within the string.

Related issue number

Fix pydantic/pydantic#9165

Checklist

• Unit tests for the changes exist
• Documentation reflects the changes where applicable
• Pydantic tests pass with this pydantic-core (except for expected changes)
• My PR is ready to review, please add a comment including the phrase "please review" to assign reviewers

[codspeed-hq]

CodSpeed Performance Report

Merging #1266 will not alter performance

_{Comparing trim-zeros (52c7a2f) with main (e23d7eb)}

Summary

✅ 155 untouched benchmarks