RC_UP
fld_const(&CONST_L2T, (rc == RC_UP) ? 1 : 0, TAG_Valid);
case RC_UP:
case RC_UP: /* towards +infinity */