With this change, the following works:

>>> print('%#x' % 0x1234567890abcdef)
0x1234567890abcdef

This adds support for almost everything (the comma isn't currently
supported).

The "unspecified" type with floats also doesn't behave exactly like
python.

Tested under unix with float and double
Spot tested on stmhal