human
Write me a Python code to round or cast to int.
assistant
Here is a Python code to round or cast to integer

import math

def round_int(number):
    """
    Round or cast to int
    """
    if isinstance(number, int):
        return number
    else:
        return int(number)

# Enter the number
number = 12.3456789

# Calling the function
print((round_int(number)))

#Example Output
# 12

#Remember to inspect code for bugs.