Constant DEFAULT_MXCSR 

pub const DEFAULT_MXCSR: u32 = 0x1f80;