Re: [Numpy-discussion] float128 in fact float80