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

Change-Id: Ibcc7372b669d9e0872dbb267245bf43341db3f8b