Re: [Numpy-discussion] float128 casting rounding as if it were float64