pub const WS_XML_TEXT_TYPE_DOUBLE: WS_XML_TEXT_TYPE;