convert: add int_to_hex/1