Symbol: FP_RND_PINF