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

Change-Id: I6bc68bba9c2ac9383b13b6c8357e9b3c31bfc4d6