Symbol: __double_to_digits
usr/src/lib/libc/port/fp/__flt_decim.c
309
is = __double_to_digits(dds, pd->ds, pm->ndigits);
usr/src/lib/libc/port/fp/__flt_decim.c
375
is = __double_to_digits(dds, pd->ds, 1);