cpp/header/stdfloat

This header is part of the type support library, providing fixed width floating-point types.