micropython/micropython — pull request #436 by dhylands (2014-04-05 16:45:44+00:00)
Title: Change pfenv_print_int to take machine_uint_t rather than unsinged in

With this change, the following works:
````python
>>> print('%#x' % 0x1234567890abcdef)
0x1234567890abcdef
````