Abs evaluates as integer/rational when needed
Merge pull request #8599 from pelegm/abs_assumptions

Abs evaluates as integer/rational when needed