Constant DOUBLE_MANTISSA_BITS 

pub const DOUBLE_MANTISSA_BITS: u32 = 52;