On May 19, 2014, at 12:27 AM, Richard Sandiford <rdsandif...@googlemail.com> wrote: > Does anyone have any suggestions for a better name than "wide_int" though?
Please, no. > The main property of wide_int is that it has a variable precision, whereas > widest_int and offset_int have constant precisions. Right, I'd clarify that all wide_ints have a fixed precision over their lifetime; but during the creation of each, the precision for that object can be set arbitrarily (within a certain range).
