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