VersionReplace rejects pre-release tuples with number=0

VersionReplace rejects pre-release tuples with number=0: a task in repo2rlenv-swe-smith (Harbor dataset). VersionReplace (used via Version.replace() or similar helpers) raises InvalidVersion when the pre-release number is 0 , even though 0 is a valid, non-negative integer and versions like 1.0a0 …