On 2016-07-14 01:45, Ian Kelly wrote:
On Wed, Jul 13, 2016 at 4:24 PM, Lawrence D’Oliveiro <lawrenced...@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.
Perhaps "precision or whatever"? :-) -- https://mail.python.org/mailman/listinfo/python-list
