> and the overhead on type checking for those is fairly minimal

Well, yeah; the underlying C code assumes the type that was described to it by the wrapper (via, generally, the .dtype of an array), so it's O(1).

But I do wonder what the experience of Numpy has been like for the PyPy users.