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
;