PR_64_BITS
#define FULL_PRECISION (PR_64_BITS | RC_RND | 0x3f)
tag = FPU_u_div(st0_ptr, &CONST_PI2, &tmp, PR_64_BITS | RC_CHOP | 0x3f,
PR_64_BITS | RC_CHOP | 0x3f,
PR_64_BITS | RC_CHOP | 0x3f, sign);