pub const PR_FP_EXC_OVF: u32 = 131072;