Add BOD/BEV, and branches on signed comparisons