integerToDouble    79 third_party/jsoncpp/overrides/src/lib_json/json_value.cpp    return d >= integerToDouble(min) && d <= integerToDouble(max);
integerToDouble   872 third_party/jsoncpp/overrides/src/lib_json/json_value.cpp       return integerToDouble( value_.uint_ );
integerToDouble   897 third_party/jsoncpp/overrides/src/lib_json/json_value.cpp       return integerToDouble( value_.uint_ );