: 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 result are unspecified.
For the result and each object created within it,
if there is no value of the object's type corresponding to the
value representation produced, the behavior is undefined.
If there are multiple such values, which value is produced is unspecified.