let
e_rcst z =
TERM
.
Treal
z