Merge "Implement halving add idiom (with checker tests)." am: ed5d0ee21e am: d9928c6d46
am: 0d74f0551f

Change-Id: I9293c868384c145738bba1734c677ba81440da82