Merge 2023-06 LWG Motion 26

P2734R0 Adding the new 2022 SI prefixes

Author: tkoeppe

source/meta.tex

@@ -2541,26 +2541,30 @@
     constexpr bool @\libglobal{ratio_greater_equal_v}@ = ratio_greater_equal<R1, R2>::value;
 
   // \ref{ratio.si}, convenience SI typedefs
-  using @\libglobal{yocto}@ = ratio<1, 1'000'000'000'000'000'000'000'000>;  // see below
-  using @\libglobal{zepto}@ = ratio<1,     1'000'000'000'000'000'000'000>;  // see below
-  using @\libglobal{atto}@  = ratio<1,         1'000'000'000'000'000'000>;
-  using @\libglobal{femto}@ = ratio<1,             1'000'000'000'000'000>;
-  using @\libglobal{pico}@  = ratio<1,                 1'000'000'000'000>;
-  using @\libglobal{nano}@  = ratio<1,                     1'000'000'000>;
-  using @\libglobal{micro}@ = ratio<1,                         1'000'000>;
-  using @\libglobal{milli}@ = ratio<1,                             1'000>;
-  using @\libglobal{centi}@ = ratio<1,                               100>;
-  using @\libglobal{deci}@  = ratio<1,                                10>;
-  using @\libglobal{deca}@  = ratio<                               10, 1>;
-  using @\libglobal{hecto}@ = ratio<                              100, 1>;
-  using @\libglobal{kilo}@  = ratio<                            1'000, 1>;
-  using @\libglobal{mega}@  = ratio<                        1'000'000, 1>;
-  using @\libglobal{giga}@  = ratio<                    1'000'000'000, 1>;
-  using @\libglobal{tera}@  = ratio<                1'000'000'000'000, 1>;
-  using @\libglobal{peta}@  = ratio<            1'000'000'000'000'000, 1>;
-  using @\libglobal{exa}@   = ratio<        1'000'000'000'000'000'000, 1>;
-  using @\libglobal{zetta}@ = ratio<    1'000'000'000'000'000'000'000, 1>;  // see below
-  using @\libglobal{yotta}@ = ratio<1'000'000'000'000'000'000'000'000, 1>;  // see below
+  using @\libglobal{quecto}@ = ratio<1, 1'000'000'000'000'000'000'000'000'000'000>;     // \seebelow
+  using @\libglobal{ronto}@  = ratio<1,     1'000'000'000'000'000'000'000'000'000>;     // \seebelow
+  using @\libglobal{yocto}@  = ratio<1,         1'000'000'000'000'000'000'000'000>;     // \seebelow
+  using @\libglobal{zepto}@  = ratio<1,             1'000'000'000'000'000'000'000>;     // \seebelow
+  using @\libglobal{atto}@   = ratio<1,                 1'000'000'000'000'000'000>;
+  using @\libglobal{femto}@  = ratio<1,                     1'000'000'000'000'000>;
+  using @\libglobal{pico}@   = ratio<1,                         1'000'000'000'000>;
+  using @\libglobal{nano}@   = ratio<1,                             1'000'000'000>;
+  using @\libglobal{micro}@  = ratio<1,                                 1'000'000>;
+  using @\libglobal{milli}@  = ratio<1,                                     1'000>;
+  using @\libglobal{centi}@  = ratio<1,                                       100>;
+  using @\libglobal{deci}@   = ratio<1,                                        10>;
+  using @\libglobal{deca}@   = ratio<                                       10, 1>;
+  using @\libglobal{hecto}@  = ratio<                                      100, 1>;
+  using @\libglobal{kilo}@   = ratio<                                    1'000, 1>;
+  using @\libglobal{mega}@   = ratio<                                1'000'000, 1>;
+  using @\libglobal{giga}@   = ratio<                            1'000'000'000, 1>;
+  using @\libglobal{tera}@   = ratio<                        1'000'000'000'000, 1>;
+  using @\libglobal{peta}@   = ratio<                    1'000'000'000'000'000, 1>;
+  using @\libglobal{exa}@    = ratio<                1'000'000'000'000'000'000, 1>;
+  using @\libglobal{zetta}@  = ratio<            1'000'000'000'000'000'000'000, 1>;     // \seebelow
+  using @\libglobal{yotta}@  = ratio<        1'000'000'000'000'000'000'000'000, 1>;     // \seebelow
+  using @\libglobal{ronna}@  = ratio<    1'000'000'000'000'000'000'000'000'000, 1>;     // \seebelow
+  using @\libglobal{quetta}@ = ratio<1'000'000'000'000'000'000'000'000'000'000, 1>;     // \seebelow
 }
 \end{codeblockdigitsep}
 
@@ -2722,12 +2726,20 @@
 \rSec2[ratio.si]{SI types for \tcode{ratio}}
 
 \pnum
+\indexlibraryglobal{quecto}%
+\indexlibraryglobal{ronto}%
 \indexlibraryglobal{yocto}%
 \indexlibraryglobal{zepto}%
 \indexlibraryglobal{zetta}%
 \indexlibraryglobal{yotta}%
-For each of the \grammarterm{typedef-name}{s} \tcode{yocto}, \tcode{zepto},
-\tcode{zetta}, and \tcode{yotta}, if both of the constants used in its
+\indexlibraryglobal{ronna}%
+\indexlibraryglobal{quetta}%
+For each of the \grammarterm{typedef-name}{s}
+\tcode{quecto}, \tcode{ronto},
+\tcode{yocto}, \tcode{zepto},
+\tcode{zetta}, \tcode{yotta},
+\tcode{ronna}, and \tcode{quetta},
+if both of the constants used in its
 specification are representable by \tcode{intmax_t}, the typedef is
 defined; if either of the constants is not representable by \tcode{intmax_t},
 the typedef is not defined.

source/support.tex

@@ -731,6 +731,7 @@
 #define @\defnlibxname{cpp_lib_ranges_to_container}@               202202L // freestanding, also in \libheader{ranges}
 #define @\defnlibxname{cpp_lib_ranges_zip}@                        202110L
   // freestanding, also in \libheader{ranges}, \libheader{tuple}, \libheader{utility}
+#define @\defnlibxname{cpp_lib_ratio}@                             202306L // also in \libheader{ratio}
 #define @\defnlibxname{cpp_lib_raw_memory_algorithms}@             201606L // also in \libheader{memory}
 #define @\defnlibxname{cpp_lib_rcu}@                               202306L // also in \libheader{rcu}
 #define @\defnlibxname{cpp_lib_reference_from_temporary}@          202202L // freestanding, also in \libheader{type_traits}