PRECM2
if (k >= PRECM2) { /* |x| >= 2**(Prec-2) */
if (k < PRECM2) {
if (k >= PRECM2) { /* |x| >= 2**(Prec-2) */
if (k < PRECM2) {
if (k >= PRECM2) { /* |x| >= 2**(Prec-2) */
if (k < PRECM2) {
if (k >= PRECM2) { /* |x| >= 2**(Prec-2) */
if (k < PRECM2) {