[cfp-interest 3899] Converison Between Real Floating Types - 6.3.2.5

[Damian McGuckin]

Courtesy of Jan Schultke.

On being forced to read these clauses,

   When a value of real floating type is converted to a standard floating
   type, if the value being converted is in the range of values that can be
   represented but cannot be represented exactly, the result is either the
   nearest higher or nearest lower representable value, chosen in an
   implementation-defined manner. If the value being converted is outside
   the range of values that can be represented, the behavior is undefined

   When a value of real floating type is converted to a decimal floating
   type, if the value being converted cannot be represented exactly, the
   result is correctly rounded with exceptions raised as specified in
   ISO/IEC 60559.

I noticed the second uses totally different language to the second. Isn't 
the former also talking about rounding according to the some mode. Also,
the second makes mention of the exceptions raised, e.g. inexact, overflow, 
underflow or some combination.

Do we need to tidy that up?

Is this a perfect case for the new WG14 wording study group?

Thanks - Damian