To <cstdfloat.hpp>, add support for tiny floats float16_t and float24_t.