979       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1039       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
1120       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
1235       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
1445       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
1711       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
1772       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1939       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2006       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2078       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2164       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2239       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2313       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2482       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2558       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2632       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
2768       __os.precision(std::numeric_limits<double>::max_digits10);  in operator <<()
2990       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
3196       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()