is_integer. You should use the assumptions inside of the assumptions.