title: Floating point types representation
body: <p>Is <code>std::numeric_limits&lt;float&gt;::is_iec559</code> + <code>std::numeric_limits&lt;float&gt;::digits == 24</code> enough to ensure(1) that <code>float</code> is binary32(2) in IEEE 754 ? Same for double with ... digits == 53 ?</p>
  <ol>
  <li>In any case including the weirdest implementations still respecting the C++ standard.</li>
  <li>&quot;binary32&quot; is a specific representation of floating points in the IEEE 754 standard, I don't mean &quot;stored in 32 bits&quot;.</li>
  </ol>
  <p>Edit : + <code>std::numeric_limits&lt;float&gt;::max_exponent - 1 == 127</code></p>
  <p>Edit : Are there any other ways ? If yes, which one is &quot;the best&quot; ?</p>