pub const OEX_FPU_OFLO: u32 = 0x04;