make Abs args canonical wrt sign