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

Change-Id: Ibc118d3cad5b7563426a9fee07e1082e750da552