title: Convert 16-bit floating point to 32-bit floating point
body: <p>I have two different DSPs:</p>
  
  <ul>
  <li>The first one outputs 16-bit floating point value where there is a bit for the sign, 7 bits for the integer and 8 bits for the fractional part. </li>
  <li>The second considers floating point as 32-bit value where there is a bit for the sign, 8 bits for the integer and 23 bits for the fractional part.</li>
  </ul>
  
  <p>I would like to convert the output of my first DSP in the 32-bit floating point format used by the second DSP. Is there any API in C ?</p>