941       const std::streamsize __precision = __os.precision();  in operator <<()  local
1003       const std::streamsize __precision = __os.precision();  in operator <<()  local
1085       const std::streamsize __precision = __os.precision();  in operator <<()  local
1200       const std::streamsize __precision = __os.precision();  in operator <<()  local
1411       const std::streamsize __precision = __os.precision();  in operator <<()  local
1678       const std::streamsize __precision = __os.precision();  in operator <<()  local
1742       const std::streamsize __precision = __os.precision();  in operator <<()  local
1909       const std::streamsize __precision = __os.precision();  in operator <<()  local
1974       const std::streamsize __precision = __os.precision();  in operator <<()  local
2047       const std::streamsize __precision = __os.precision();  in operator <<()  local
2134       const std::streamsize __precision = __os.precision();  in operator <<()  local
2211       const std::streamsize __precision = __os.precision();  in operator <<()  local
2286       const std::streamsize __precision = __os.precision();  in operator <<()  local
2455       const std::streamsize __precision = __os.precision();  in operator <<()  local
2533       const std::streamsize __precision = __os.precision();  in operator <<()  local
2609       const std::streamsize __precision = __os.precision();  in operator <<()  local
2745       const std::streamsize __precision = __os.precision();  in operator <<()  local
2955       const std::streamsize __precision = __os.precision();  in operator <<()  local
3171       const std::streamsize __precision = __os.precision();  in operator <<()  local