Use ctypes portable format strings to print integers