simplify the code, by using `-(unsigned)int_value` for obtaining the absolute value