Python Decimal To Hex With Leading 0, What I want to achieve: From Python documentation.