fix for issue #539 -- abs() nonsensical in the unsigned domain