On Wed, Jul 13, 2016 at 4:24 PM, Lawrence D’Oliveiro <lawrencedo99 at gmail.com> wrote: > On Wednesday, July 13, 2016 at 6:22:31 PM UTC+12, Ian wrote: > >> ... don't call it "precision". > > How about “mantissa length”, then. That sufficiently neutral for you? That makes even less sense for integers.