let e_real_of_int = unop TERM.R_of_I