LWG3809 Is std::subtract_with_carry_engine<uint16_t> supposed to work?

Author: burblebee

source/numerics.tex

@@ -2885,13 +2885,13 @@
     static constexpr size_t long_lag = r;
     static constexpr result_type min() { return 0; }
     static constexpr result_type max() { return @$m - 1$@; }
-    static constexpr result_type default_seed = 19780503u;
+    static constexpr uint_least32_t default_seed = 19780503u;
 
     // constructors and seeding functions
-    subtract_with_carry_engine() : subtract_with_carry_engine(default_seed) {}
+    subtract_with_carry_engine() : subtract_with_carry_engine(0u) {}
     explicit subtract_with_carry_engine(result_type value);
     template<class Sseq> explicit subtract_with_carry_engine(Sseq& q);
-    void seed(result_type value = default_seed);
+    void seed(result_type value = 0u);
     template<class Sseq> void seed(Sseq& q);
 
     // equality operators
@@ -2946,7 +2946,7 @@
  first construct \tcode{e}, a \tcode{linear_congruential_engine} object,
  as if by the following definition:
 \begin{codeblock}
-linear_congruential_engine<result_type,
+linear_congruential_engine<uint_least32_t,
                           40014u,0u,2147483563u> e(value == 0u ? default_seed : value);
 \end{codeblock}
  Then, to set each $X_k$,