On Nov 20, 2013, at 5:38 AM, Richard Sandiford <rsandifo@linux.vnet.ibm.com> wrote: > One simple switch to wi::add and one simplification that became possible > after Kenny's patch to remove the other real_from_integer. > > Tested on x86_64-linux-gnu and applied as obvious (I hope). Look good.