integer-matrix form