__fast_double_to_decimal
extern int __fast_double_to_decimal(double *dd, decimal_mode *pm,
if (__fast_double_to_decimal(&x, pm, pd, &ef)) {
if (__fast_double_to_decimal(&x, pm, pd, &ef)) {
if (__fast_double_to_decimal(px, pm, pd, &ef)) {