Restored the rfc6234 code's original stdint types.