* libgcc2.h (TItype): Do not assume that the host has 64-bit ntegers.