let
e_rcst z =
Fol
.e_cnst (
Fol
.c_float_of_str z)