pub const PR_FP_EXC_DIV: u32 = 65536;