972       const std::streamsize __precision = __os.precision();  in operator <<()
975       __os.precision(__gnu_cxx::__numeric_traits<double>::__max_digits10);  in operator <<()
981       __os.precision(__precision);  in operator <<()
1019       const std::streamsize __precision = __os.precision();  in operator <<()
1022       __os.precision(__gnu_cxx::__numeric_traits<_RealType>::__max_digits10);  in operator <<()
1028       __os.precision(__precision);  in operator <<()
1182       const std::streamsize __precision = __os.precision();  in operator <<()
1186       __os.precision(__gnu_cxx::__numeric_traits<_RealType>::__max_digits10);  in operator <<()
1192       __os.precision(__precision);  in operator <<()
1420       const std::streamsize __precision = __os.precision();  in operator <<()
1424       __os.precision(__gnu_cxx::__numeric_traits<_RealType>::__max_digits10);  in operator <<()
1431       __os.precision(__precision);  in operator <<()
1465       const std::streamsize __precision = __os.precision();  in operator <<()
1469       __os.precision(__gnu_cxx::__numeric_traits<_RealType>::__max_digits10);  in operator <<()
1475       __os.precision(__precision);  in operator <<()
1507       const std::streamsize __precision = __os.precision();  in operator <<()
1510       __os.precision(__gnu_cxx::__numeric_traits<_RealType>::__max_digits10);  in operator <<()
1516       __os.precision(__precision);  in operator <<()
1571       const std::streamsize __precision = __os.precision();  in operator <<()
1575       __os.precision(__gnu_cxx::__numeric_traits<_RealType>::__max_digits10);  in operator <<()
1585       __os.precision(__precision);  in operator <<()
1704       const std::streamsize __precision = __os.precision();  in operator <<()
1707       __os.precision(__gnu_cxx::__numeric_traits<_RealType>::__max_digits10);  in operator <<()
1713       __os.precision(__precision);  in operator <<()