[over.built] Avoid confusing term 'promoted arithmetic type'.

Author: jensmaurer

source/overloading.tex

@@ -3915,11 +3915,8 @@
 \tcode{long}
 but excluding e.g.
 \tcode{char}).
-Similarly, the term
-\defn{promoted arithmetic type}
-refers to floating-point types plus promoted integral types.
 \begin{note}
-In all cases where a promoted integral type or promoted arithmetic type is
+In all cases where a promoted integral type is
 required, an operand of enumeration type will be acceptable by way of the
 integral promotions.
 \end{note}
@@ -3993,8 +3990,7 @@
 \end{codeblock}
 
 \pnum
-For every promoted arithmetic type
-\tcode{\placeholder{T}},
+For every floating-point or promoted integral type \tcode{\placeholder{T}},
 there exist candidate operator functions of the form
 \begin{codeblock}
 @\placeholder{T}@ operator+(@\placeholder{T}@);
@@ -4032,10 +4028,9 @@
 determination of the operator's result type.
 
 \pnum
-For every pair of promoted arithmetic types
-\tcode{\placeholder{L}}
-and
-\tcode{\placeholder{R}},
+For every pair of types \tcode{\placeholder{L}} and \tcode{\placeholder{R}},
+where \tcode{\placeholder{L}} and \tcode{\placeholder{R}} are each
+floating-point or promoted integral types,
 there exist candidate operator functions of the form
 \begin{codeblock}
 @\placeholder{LR}@      operator*(@\placeholder{L}@, @\placeholder{R}@);
@@ -4140,15 +4135,9 @@
 
 \pnum
 For every triple
-(\tcode{\placeholder{L}},
-\cvqual{vq},
-\tcode{\placeholder{R}}),
-where
-\tcode{\placeholder{L}}
-is an arithmetic type,
-and
-\tcode{\placeholder{R}}
-is a promoted arithmetic type,
+(\tcode{\placeholder{L}}, \cvqual{vq}, \tcode{\placeholder{R}}),
+where \tcode{\placeholder{L}} is an arithmetic type,
+and \tcode{\placeholder{R}} is a floating-point or promoted integral type,
 there exist candidate operator functions of the form
 \begin{codeblock}
 @\cvqual{vq} \placeholder{L}@&   operator=(@\cvqual{vq} \placeholder{L}@&, @\placeholder{R}@);
@@ -4220,10 +4209,9 @@
 \end{codeblock}
 
 \pnum
-For every pair of promoted arithmetic types
-\tcode{\placeholder{L}}
-and
-\tcode{\placeholder{R}},
+For every pair of types \tcode{\placeholder{L}} and \tcode{\placeholder{R}},
+where \tcode{\placeholder{L}} and \tcode{\placeholder{R}} are each
+floating-point or promoted integral types,
 there exist candidate operator functions of the form
 \begin{codeblock}
 @\placeholder{LR}@      operator?:(bool, @\placeholder{L}@, @\placeholder{R}@);