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