let e_int_of_real = unop TERM.I_of_R