pub const MASK_COEFF: u64 = 0x0001ffffffffffff;
pub const MASK_EXP: u64 = 0x7ffe000000000000;
pub const MASK_INF: u64 = 0x7800000000000000;
pub const MASK_ANY_INF: u64 = 0x7c00000000000000;
pub const MASK_NAN: u64 = 0x7c00000000000000;
pub const MASK_SNAN: u64 = 0x7e00000000000000;
pub const MASK_SIGN: u64 = 0x8000000000000000;
pub const MASK_SPECIAL: u64 = 0x7800000000000000;
pub const MASK_STEERING_BITS: u64 = 0x6000000000000000;