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