473       const std::streamsize __precision = __os.precision();  in operator <<()
477       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
483       __os.precision(__precision);  in operator <<()
670       const std::streamsize __precision = __os.precision();  in operator <<()
674       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
687       __os.precision(__precision);  in operator <<()
756       const std::streamsize __precision = __os.precision();  in operator <<()
760       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
768       __os.precision(__precision);  in operator <<()
823       const std::streamsize __precision = __os.precision();  in operator <<()
827       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
834       __os.precision(__precision);  in operator <<()
888       const std::streamsize __precision = __os.precision();  in operator <<()
892       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
899       __os.precision(__precision);  in operator <<()
984       const std::streamsize __precision = __os.precision();  in operator <<()
988       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
996       __os.precision(__precision);  in operator <<()
1054       const std::streamsize __precision = __os.precision();  in operator <<()
1058       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1065       __os.precision(__precision);  in operator <<()
1158       const std::streamsize __precision = __os.precision();  in operator <<()
1162       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1170       __os.precision(__precision);  in operator <<()
1223       const std::streamsize __precision = __os.precision();  in operator <<()
1227       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1233       __os.precision(__precision);  in operator <<()
1325       const std::streamsize __precision = __os.precision();  in operator <<()
1329       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1335       __os.precision(__precision);  in operator <<()
1432       const std::streamsize __precision = __os.precision();  in operator <<()
1436       __os.precision(std::numeric_limits<_UIntType>::max_digits10);  in operator <<()
1443       __os.precision(__precision);  in operator <<()
1520       const std::streamsize __precision = __os.precision();  in operator <<()
1524       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1530       __os.precision(__precision);  in operator <<()
1808       const std::streamsize __precision = __os.precision();  in operator <<()
1812       __os.precision(std::numeric_limits<_RealType>::max_digits10);  in operator <<()
1818       __os.precision(__precision);  in operator <<()