Sum evalf of non rational term

fixes #8219 
fixes #8254