Constant OpFormatDouble_ 

pub const OpFormatDouble_: WSDXML_OP;