In <cstdfloat> and <stdfloat.h>, added float16_t and float24_t.