cast_bigger_than_i