FIX: set_infty_hex_output_length