Added all integer types referenced by stdint.h