Re: [Numpy-discussion] Type annotations for NumPy