[Numpy-discussion] fromfile for dtype=Int8