Abs evaluates as integer/rational when needed