[Numpy-discussion] Re: A proposal for dot product