Fix missing abs and >=.