[basic.extended.fp] Replace "typedef-name" with "type alias"

Author: lprv

source/basic.tex

@@ -5771,7 +5771,7 @@
 If the implementation supports an extended floating-point type\iref{basic.fundamental}
 whose properties are specified by
 the \IsoFloatUndated{} floating-point interchange format binary16,
-then the \grammarterm{typedef-name} \tcode{std::float16_t}
+then the type alias \tcode{std::float16_t}
 is declared in the header \libheaderref{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT16_T} is defined\iref{cpp.predefined}, and
 the floating-point literal suffixes \tcode{f16} and \tcode{F16}
@@ -5781,7 +5781,7 @@
 If the implementation supports an extended floating-point type
 whose properties are specified by
 the \IsoFloatUndated{} floating-point interchange format binary32,
-then the \grammarterm{typedef-name} \tcode{std::float32_t}
+then the type alias \tcode{std::float32_t}
 is declared in the header \libheader{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT32_T} is defined, and
 the floating-point literal suffixes \tcode{f32} and \tcode{F32} are supported.
@@ -5790,7 +5790,7 @@
 If the implementation supports an extended floating-point type
 whose properties are specified by
 the \IsoFloatUndated{} floating-point interchange format binary64,
-then the \grammarterm{typedef-name} \tcode{std::float64_t}
+then the type alias \tcode{std::float64_t}
 is declared in the header \libheader{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT64_T} is defined, and
 the floating-point literal suffixes \tcode{f64} and \tcode{F64} are supported.
@@ -5799,7 +5799,7 @@
 If the implementation supports an extended floating-point type
 whose properties are specified by
 the \IsoFloatUndated{} floating-point interchange format binary128,
-then the \grammarterm{typedef-name} \tcode{std::float128_t}
+then the type alias \tcode{std::float128_t}
 is declared in the header \libheader{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT128_T} is defined, and
 the floating-point literal suffixes \tcode{f128} and \tcode{F128} are supported.
@@ -5812,7 +5812,7 @@
 precision in bits ($p$) of 8,
 maximum exponent ($emax$) of 127, and
 exponent field width in bits ($w$) of 8, then
-the \grammarterm{typedef-name} \tcode{std::bfloat16_t}
+the type alias \tcode{std::bfloat16_t}
 is declared in the header \libheader{stdfloat} and names such a type,
 the macro \mname{STDCPP_BFLOAT16_T} is defined, and
 the floating-point literal suffixes \tcode{bf16} and \tcode{BF16} are supported.