I've noticed them repeatedly casting the same value to the same type for now reason, like I'd have a Python function with a type-annotated int argument, and inside the function it would cast that int to int, and also at the call site, just in case it wasn't int enough.