[Numpy-discussion] howto convert float array to array of integers