This is indeed broken. The method is `obj_to_string`, we can't return `int` here.