__double_to_digits
is = __double_to_digits(dds, pd->ds, pm->ndigits);
is = __double_to_digits(dds, pd->ds, 1);