14 #include "cl_inline.h"
15 #include "cl_SF_digits.cc"
16 #include "cl_FF_digits.cc"
17 #include "cl_DF_digits.cc"
18 #include "cl_LF_digits.cc"
22 uintC float_digits (const cl_F& x)
25 , return float_digits_inline(x);
26 , return float_digits_inline(x);
27 , return float_digits_inline(x);
28 , return float_digits_inline(x);