exp_R `| REAL = exp_R