related assumption in _eval_is_real