invln2
invln2 = 0x1.71547652b82fep0; /* 1 / log(2.) */
z = invln2 * x;
z = invln2 * x;
k = (int)(invln2*x+halF[xsb]);
invln2 = 1.44269504088896338700e+00, /* 0x3ff71547, 0x652b82fe */
invln2 = 1.4426950216e+00, /* 0x3fb8aa3b */
k = invln2*x+halF[xsb];
invln2 = 1.44269504088896338700e+00,/* 0x3ff71547, 0x652b82fe */
k = invln2*x+((xsb==0)?0.5:-0.5);
invln2 = 1.4426950216e+00,/* 0x3fb8aa3b */
k = invln2*x+((xsb==0)?(float)0.5:(float)-0.5);