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