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>