Update resolution of integer abs()