pio2_3 = 2.02226624871116645580e-21, /* 0x3BA3198A, 0x2E000000 */
pio2_3t = 8.47842766036889956997e-32; /* 0x397B839A, 0x252049C1 */
-int32_t attribute_hidden __ieee754_rem_pio2(double x, double *y)
+int32_t __ieee754_rem_pio2(double x, double *y)
{
double z=0.0,w,t,r,fn;
double tx[3];