[Typing-sig] Re: Questions about overload usage

My guess is numpy would have a high amount of overloads for data type rules if/when they fully support data type conversion rules. Precise type for np.add/np.multiply will need a lot of overloads. Not sure if they have those overloads yet.

This is correct, and those overloads are already largely in place (and even ignoring dtypes there are many places where, unfortunately, overloads are necessary). The type hints themselves are confined to .pyi stub files though, with no plans for moving them to inline annotations.