On Oct 29, 2013, at 2:21 PM, Richard Sandiford <rdsandiford@googlemail.com> wrote: > I looked through the diff of wide-int with mainline and noticed a few > minor things to tweak. > It all seemed pretty obvious, and the patch is long and mechanical, > so I went ahead and installed it. I reviewed it, looks good.