Constant creusot_contracts::std::arch::x86_64::_MM_MANT_NORM_P75_1P5

pub const _MM_MANT_NORM_P75_1P5: i32 = 0x03; // 3i32

🔬This is a nightly-only experimental API. (stdarch_x86_avx512)

Available on x86-64 only.

interval [0.75, 1.5)