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