title: Is there a header which defines float32 like int32 and int32_t?
body: <p>The header file <strong>stdint.h</strong> declares a potpourri of integer types with guaranteed widths, such as int8_t, uint16_t, int64_t, and so on.</p>
  
  <p>Is there a similar header that declares floating-point types such as float16, float32, float64, et cetera?</p>