Symbol: __double_to_bigfloat
usr/src/lib/libc/port/fp/double_decim.c
565
__double_to_bigfloat(&x, &bf);
usr/src/lib/libc/port/fp/double_decim.c
592
__double_to_bigfloat(&x, &bf);
usr/src/lib/libc/port/fp/double_decim.c
637
__double_to_bigfloat(px, &bf);