PR_FP_EXC_RES
# define PR_FP_EXC_RES 0x080000 /* floating point inexact result */
# define PR_FP_EXC_RES 0x080000 /* floating point inexact result */
# define PR_FP_EXC_RES 0x080000 /* floating point inexact result */