Merge branch 'fix/blanchard/json/float' into 'master'

[lib] fix Json printer for N.

See merge request frama-c/frama-c!4904

src/libraries/utils/json.mll

@@ -167,7 +167,7 @@ let rec pp fmt v = let open Format in
   | `Bool b -> pp_print_bool fmt b
   | `String s -> fprintf fmt "%S" s
   | `Int a -> pp_print_int fmt a
-  | `Float f -> pp_print_float fmt f
+  | `Float f -> Format.fprintf fmt "%.3g" f
   | `List [] -> pp_print_string fmt "[]"
   | `List (e::es) ->
       Format.fprintf fmt "@[<hov 2>[ %a" pp e ;