979       const std::streamsize __precision = __os.precision();  in operator <<()  local
1024       const std::streamsize __precision = __os.precision();  in operator <<()  local
1074       const std::streamsize __precision = __os.precision();  in operator <<()  local
1148       const std::streamsize __precision = __os.precision();  in operator <<()  local
1338       const std::streamsize __precision = __os.precision();  in operator <<()  local
1586       const std::streamsize __precision = __os.precision();  in operator <<()  local
1634       const std::streamsize __precision = __os.precision();  in operator <<()  local
1741       const std::streamsize __precision = __os.precision();  in operator <<()  local
1792       const std::streamsize __precision = __os.precision();  in operator <<()  local
1838       const std::streamsize __precision = __os.precision();  in operator <<()  local
1901       const std::streamsize __precision = __os.precision();  in operator <<()  local
1946       const std::streamsize __precision = __os.precision();  in operator <<()  local
1992       const std::streamsize __precision = __os.precision();  in operator <<()  local
2095       const std::streamsize __precision = __os.precision();  in operator <<()  local
2154       const std::streamsize __precision = __os.precision();  in operator <<()  local
2212       const std::streamsize __precision = __os.precision();  in operator <<()  local
2317       const std::streamsize __precision = __os.precision();  in operator <<()  local
2492       const std::streamsize __precision = __os.precision();  in operator <<()  local
2694       const std::streamsize __precision = __os.precision();  in operator <<()  local