We need to add cpp_uint so that users can use unsigned int.
We need to add cpp_uint so that users can use unsigned int.