Constant OEX_FPU_INEX 

pub const OEX_FPU_INEX: u32 = 0x01;