Get rid of last vestiges of BINARY_DIVIDE.
6 files changed