[mark-r]

Python doesn't support hex float in printf, but it does give you an easy way to do the conversion: x.hex()