Fixed ADD_D confusing >= vs <= for efficient "x".