numpy: efficiently reading a large array,"a = numpy.fromfile('filename', dtype=numpy.float32)"