979       const std::streamsize __precision = __os.precision();  in operator <<()
983       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
989       __os.precision(__precision);  in operator <<()
1024       const std::streamsize __precision = __os.precision();  in operator <<()
1027       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
1033       __os.precision(__precision);  in operator <<()
1074       const std::streamsize __precision = __os.precision();  in operator <<()
1077       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
1083       __os.precision(__precision);  in operator <<()
1148       const std::streamsize __precision = __os.precision();  in operator <<()
1152       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
1159       __os.precision(__precision);  in operator <<()
1338       const std::streamsize __precision = __os.precision();  in operator <<()
1342       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
1348       __os.precision(__precision);  in operator <<()
1586       const std::streamsize __precision = __os.precision();  in operator <<()
1590       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
1597       __os.precision(__precision);  in operator <<()
1634       const std::streamsize __precision = __os.precision();  in operator <<()
1637       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1643       __os.precision(__precision);  in operator <<()
1741       const std::streamsize __precision = __os.precision();  in operator <<()
1745       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1754       __os.precision(__precision);  in operator <<()
1792       const std::streamsize __precision = __os.precision();  in operator <<()
1796       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1803       __os.precision(__precision);  in operator <<()
1838       const std::streamsize __precision = __os.precision();  in operator <<()
1842       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1848       __os.precision(__precision);  in operator <<()
1901       const std::streamsize __precision = __os.precision();  in operator <<()
1905       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1911       __os.precision(__precision);  in operator <<()
1946       const std::streamsize __precision = __os.precision();  in operator <<()
1950       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1957       __os.precision(__precision);  in operator <<()
1992       const std::streamsize __precision = __os.precision();  in operator <<()
1996       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2002       __os.precision(__precision);  in operator <<()
2095       const std::streamsize __precision = __os.precision();  in operator <<()
2099       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2106       __os.precision(__precision);  in operator <<()
2154       const std::streamsize __precision = __os.precision();  in operator <<()
2158       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2164       __os.precision(__precision);  in operator <<()
2212       const std::streamsize __precision = __os.precision();  in operator <<()
2216       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2222       __os.precision(__precision);  in operator <<()
2317       const std::streamsize __precision = __os.precision();  in operator <<()
2321       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
2330       __os.precision(__precision);  in operator <<()
2492       const std::streamsize __precision = __os.precision();  in operator <<()
2496       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2510       __os.precision(__precision);  in operator <<()
2694       const std::streamsize __precision = __os.precision();  in operator <<()
2698       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2712       __os.precision(__precision);  in operator <<()