int_to_hex_string