On Nov 20, 2013, at 5:38 AM, Richard Sandiford <[email protected]> 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.
