An object of type To.
Each bit of the value representation of the result
is equal to the corresponding bit in the object representation
Padding bits of the To
object are unspecified.
If there is no value of type To
corresponding to the
value representation produced, the behavior is undefined.
If there are multiple such values, which value is produced is unspecified.