8 int double_to_string(char *buf
, double val
)
11 return snprintf(NULL
, 0, "%a", val
);
12 return sprintf(buf
, "%a", val
);
15 double double_signum(double val
)
22 int double_classify(double val
)
24 switch (fpclassify(val
)) {
40 float double_to_float(double val
)
45 double float_to_double(float val
)