I am trying to round integers in python. I looked at the built-in round() function but it seems that that rounds floats.
My goal is to round integers to the closest
Slightly simpler:
def round_int(x): return 10 * ((x + 5) // 10)