S.Half also for _eval_is_real