add RealMatrix to Int