title: Type conversion of NaN between float and double
body: <p>Do the c++ standards define the behavior of casting a <code>NaN</code> from float to double or vice-versa, or such outcome is implementation-defined or undefined?</p>
  
  <p>The architecture I'm pragmatically concerned with is x86-64 with GCC, but I'd appreciate a broader theoretical understanding.</p>