let e_rcst z =  TERM.Treal z