Re: [Numpy-discussion] Possible new multiplication operators for Python