Python内部如何将int转换为str?

Question

我很好奇Python如何实现从整数到字符串的类型转换及其性能。我试图在source code's stringlib library中找到str（）的C函数，但是找不到。举个具体的例子，计算时会发生什么：

>> x = 123
>> y = str(x)
>> y
'123'

从我在stringlib源代码中读到的内容来看，我相信y现在是一个STRINGLIB_CHAR*对象，它是CPython的扩展char类（如果错误，请纠正我）。但是，使用什么算法将整数123转换为字符串"123"？时间复杂度是与大小（以数字n表示）成线性关系还是与整数的其他特征成线性关系？它只是重复调用整数的模，从末尾到前面填充字符串缓冲区吗？你知道吗