On Nov 9, 2013, at 2:28 AM, Richard Sandiford <rdsandif...@googlemail.com> wrote: > Avoid some unnecessary "wide_int (x)"s and make more use of wi::.
> OK to install? Nice. Ok.
On Nov 9, 2013, at 2:28 AM, Richard Sandiford <rdsandif...@googlemail.com> wrote: > Avoid some unnecessary "wide_int (x)"s and make more use of wi::.
> OK to install? Nice. Ok.