Support fixed-width floating point types

[cliffburdick]

C++23 adds support for half precision floats, which would be very useful on the device:

https://en.cppreference.com/w/cpp/types/floating-point