Update IntMatrixDisp.h