pub const divide_double: &'static str = _;