[Numpy-discussion] Operations on integer matrices known to return integers