diff --git a/packages/teuchos/core/src/Teuchos_BigUIntDecl.hpp b/packages/teuchos/core/src/Teuchos_BigUIntDecl.hpp
index e82e8be9..b41b0d03 100644
--- a/packages/teuchos/core/src/Teuchos_BigUIntDecl.hpp
+++ b/packages/teuchos/core/src/Teuchos_BigUIntDecl.hpp
@@ -43,6 +43,7 @@
 #define TEUCHOS_BIG_UINT_DECL_HPP
 
 #include <iosfwd>
+#include <cstdint>
 
 /*! \file Teuchos_BigUIntDecl.hpp
     \brief Arbitrary-precision unsigned integer declaration.
diff --git a/packages/teuchos/core/src/Teuchos_PrintDouble.hpp b/packages/teuchos/core/src/Teuchos_PrintDouble.hpp
index cf2fe0f3..7c95b1b5 100644
--- a/packages/teuchos/core/src/Teuchos_PrintDouble.hpp
+++ b/packages/teuchos/core/src/Teuchos_PrintDouble.hpp
@@ -43,6 +43,7 @@
 #define TEUCHOS_PRINT_DOUBLE_HPP
 
 #include <iosfwd>
+#include <cstdint>
 
 /*! \file Teuchos_PrintDouble.hpp
     \brief Declares Teuchos::print_double