exp_R is_integral_of exp_R , REAL