(2^-17+2^-23)*2^-126