Re: [Numpy-discussion] numpy.mean still broken for large float32arrays