Python数字转字符串在数字前填充0

非常简单，使用函数zfill即可，如下：

>>> a= 123
>>> str(a).zfill(10)
'0000000123'