Implement Mul._eval_is_integer helper for assumptions

fixes #8486