565       return decodeDouble(token, decoded);  in decodeNumber()
574         return decodeDouble(token, decoded);  in decodeNumber()
590 bool Reader::decodeDouble(Token& token) {  in decodeDouble()  function in Json::Reader
592   if (!decodeDouble(token, decoded))  in decodeDouble()
600 bool Reader::decodeDouble(Token& token, Value& decoded) {  in decodeDouble()  function in Json::Reader
956   bool decodeDouble(Token& token);
957   bool decodeDouble(Token& token, Value& decoded);
1606       return decodeDouble(token, decoded);  in decodeNumber()
1617         return decodeDouble(token, decoded);  in decodeNumber()
1636 bool OurReader::decodeDouble(Token& token) {  in decodeDouble()  function in Json::OurReader
1638   if (!decodeDouble(token, decoded))  in decodeDouble()
1646 bool OurReader::decodeDouble(Token& token, Value& decoded) {  in decodeDouble()  function in Json::OurReader