Support types like `pydantic.types.PositiveInt`

### Describe the Bug

https://docs.pydantic.dev/2.3/api/types/#pydantic.types.PositiveInt

There's no dependent types in Python, so I'm not sure how to avoid promoting it to `int` whenever we try to do something w/ it

### Sandbox Link

_No response_

### (Only applicable for extension issues) IDE Information

_No response_