Sum evalf of non rational term

fixes  #8219