let frama_C_sin = double_double_fun "Frama_C_sin" Ival.Float_abstract.sin_float