pub const OEX_FPU_DIV0: u32 = 0x08;