... forgot to say: of course we should carefully grep the current sources in search of other uses of digits10 with the "wrong semantics" (max number of digits vs max number of digits representable without change). Cheers, Paolo.