When formatting doubles or BigDecimals, DigitList first formats them as a string and then parses the resultant string to extract the mantissa and the exponent. This can be done more directly.

This also facilitates followup cleanups in FloatingDecimal (removal of getChars method) but I've left that for later to minimize conflicts with other changes there.