pio4lo
pio4lo = 0x1.cd129024e088a67cc74020bbea60p-116L;
w = pio4lo - y;
pio4lo = -1.25413940316708300586e-20L; /* -0xece675d1fc8f8cbb.0p-130 */