Change pfenv_print_int to take machine_uint_t rather than unsinged in

With this change, the following works:

>>> print('%#x' % 0x1234567890abcdef)
0x1234567890abcdef
Merge pull request #436 from dhylands/pfenv-print-int

Change pfenv_print_int to take machine_uint_t rather than unsinged in