PR_FP_EXC_DIV
# define PR_FP_EXC_DIV 0x010000 /* floating point divide by zero */
# define PR_FP_EXC_DIV 0x010000 /* floating point divide by zero */
# define PR_FP_EXC_DIV 0x010000 /* floating point divide by zero */