Fix debug_printf itoa to work for unsigned values > 0x80000000