fix serious bug with integer abs