Update IntMatrixDisp.cpp