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