JSON communication: Adding a way to print %f float numbers

src/util/json_base.ml

@@ -33,8 +33,8 @@ let string fmt s =
 
 let int fmt d = fprintf fmt "%d" d
 let bool fmt b = fprintf fmt "%b" b
+let standard_float fmt f = fprintf fmt "%f" f
 let float fmt f = fprintf fmt "%g" f
-(* TODO check that you can print a floating point number like this in JSON *)
 
 let print_json_field key value_pr fmt value =
   fprintf fmt "%a : %a " string key value_pr value

src/util/json_base.mli

@@ -19,7 +19,11 @@ val int : Format.formatter -> int -> unit
 val bool : Format.formatter -> bool -> unit
 (* print an boolean *)
 val float : Format.formatter -> float -> unit
-(* print an floating point number *)
+(* print a floating point number *)
+val standard_float : Format.formatter -> float -> unit
+(* print a float in a format that cannot be mistaken for an integer (this makes
+   communication with other tools easier).
+*)
 
 val list :
   (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit