let
e_real_of_int = unop
TERM
.
R_of_I