Constant DOUBLE_MANTISSA_BITS

pub const DOUBLE_MANTISSA_BITS: u32 = 52;