Re: [Numpy-discussion] efficient way to manage a set of floats?