let
frama_C_exp = double_double_fun
"Frama_C_exp"
Ival
.
Float_abstract
.exp_float