The result in (interactive) python is in decimal notation
>>> 0xff
255
But I would like to see:
>>> 0xff
0xff
>>> 255
0xff
Can this be done? (I know the hex function, or string formatting like '%x' %, but I would have the hexadecimal notation automatically).