<human>:  in python how do I convert a single digit number into a double digits string?
<bot>: Here is some code to pads string '5' on the left with 1 zero

print('{0}'.format('5'.zfill(2)))

#Warning: this code generation is experimental. Please inspect the code for any bugs before executing.