752       return decodeDouble(token, decoded);  in decodeNumber()
761         return decodeDouble(token, decoded);  in decodeNumber()
775 bool Reader::decodeDouble(Token& token) {  in decodeDouble()  function in Json::Reader
777   if (!decodeDouble(token, decoded))  in decodeDouble()
785 bool Reader::decodeDouble(Token& token, Value& decoded) {  in decodeDouble()  function in Json::Reader
1200   bool decodeDouble(Token& token);
1201   bool decodeDouble(Token& token, Value& decoded);
1715       return decodeDouble(token, decoded);  in decodeNumber()
1724         return decodeDouble(token, decoded);  in decodeNumber()
1738 bool OurReader::decodeDouble(Token& token) {  in decodeDouble()  function in Json::OurReader
1740   if (!decodeDouble(token, decoded))  in decodeDouble()
1748 bool OurReader::decodeDouble(Token& token, Value& decoded) {  in decodeDouble()  function in Json::OurReader