pub const OEX_FPU_UFLO: u32 = 0x02;