pub const PR_FP_EXC_DIV: u32 = 65536; // 65_536u32