RC_RND
#define FULL_PRECISION (PR_64_BITS | RC_RND | 0x3f)
do_fprem(st0_ptr, st0_tag, RC_RND);
if ((round == RC_RND)
case RC_RND: