MMatthew Dean Martin @mistersql · Oct 3, 2023 mastodonCasting a hex in #python`cast(str, oct(int(hex(0x1F),16)))`#Python