1/* This header is only for use of libdecnumber built as part of
2   libgcc.  The targets supported for decimal floating point have
3   <stdint.h>; libdecnumber uses GCC_HEADER_STDINT only for the sake
4   of the host.  */
5
6#include <stdint.h>
7