I not in Reals should be True

fix #7680