let frama_C_cos = double_double_fun "Frama_C_cos" Ival.Float_abstract.cos_float