Fixed bug in constant evaluation of abs for minimum negative values.