[Numpy-discussion] faster Array.take( floatindices.astype(int) ) ?