append_number
len += append_number (state, num, 10, "0123456789",
len += append_number (state, arg, 10, "0123456789",
len += append_number (state, arg, 010, "01234567",
len += append_number (state, arg, 0x10, "0123456789abcdef",
len += append_number (state, arg, 0x10, "0123456789ABCDEF",
len += append_number (state, arg, 0x10, "0123456789ABCDEF",