Roman numerals still appear in book chapters, clocks, and event numbering. Write a function int_to_roman that converts the integer num into Roman numeral notation. The input number is from 1 to 3999. Return the result as a string made of Roman symbols.

def int_to_roman(num: int) -> str: