从数字编号转换为十六进制字符串，前导数字为零

Question

是否有内置的Python函数可以从数字编号转换为带有零前导数字的十六进制字符串？

我写信给她：

def convert_to_hex_string(number):
    number = format(number, 'x')
    if len(number) == 1:
        number = '0' + number
    return number

>>> convert_to_hex_string(7)
'07'
>>> convert_to_hex_string(10)
'0a'
>>> convert_to_hex_string(11)
'0b'
>>> convert_to_hex_string(666)
'29a'

但我想知道可能已经有Python内置（C＃中的模拟.toString("X2")）