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