Implement Mod._eval_is_integer helper for assumptions

fixes #8486
Merge pull request #8497 from skirpichev/8486-fix

Implement Mod._eval_is_integer helper for assumptions