FP_RND_PINF
if ((FP_ROUNDMODE) == FP_RND_PINF) {
if (FP_ROUNDMODE == FP_RND_PINF) {
case FP_RND_PINF: \