1 typedef signed int __int32_t;
2 typedef unsigned int __uint32_t;
11 } ieee_double_shape_type;
12 two52= 4.50359962737049600000e+15,
13 w6 = -1.63092934096575273989e-03;
14 double sin_pi(double x)
18 ieee_double_shape_type gh_u;
20 (ix) = gh_u.parts.msw;
23 ieee_double_shape_type gl_u;