let real_of_data k d =
match k with
| Kint | Kcint _-> F.real_of_integer (integer_of_data k d)
| Kreal ->
begin
match d with
| Data d -> F.unwrap d
| Value v -> real_of_value v
| _ -> WpLog.fatal ~current:true "not a real (%a)" pp_data d
end
| _ -> WpLog.fatal ~current:true "not a real (%a)" pp_data d