Re: [Numpy-discussion] how much does binary size matter?