renamed ==MInt and =/=MInt in eqMInt and neMInt