Constant DOUBLE_EXPONENT_BITS 

pub const DOUBLE_EXPONENT_BITS: u32 = 11;