Re: [Numpy-discussion] Nice float -> integer conversion?