pub const PR_FP_EXC_UND: u32 = 262144; // 262_144u32