for M being Matrix of INT holds M is Matrix of REAL