Constant __DBL_DECIMAL_DIG__

Source
pub const __DBL_DECIMAL_DIG__: u32 = 17;