stdint: Update documentation.