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