Re: [Numpy-discussion] Proposal: Deprecate np.int, np.float, etc.?