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