P0192 `short float` and fixed-size floating point types

[wg21bot]

P0192R4 short float and fixed-size floating point types (Michał Dominiak, Bryce Adelstein Lelbach, Boris Fomitchev, Sergei Nikolaev)