diff --git a/src/plugins/value/gui_files/register_gui.ml b/src/plugins/value/gui_files/register_gui.ml
index 80d4d7ebce2766f4310fe98fcd23170f348f4543..33fcef5d778f2ff3b7a2ac3df5b96c215369f6e2 100644
--- a/src/plugins/value/gui_files/register_gui.ml
+++ b/src/plugins/value/gui_files/register_gui.ml
@@ -113,16 +113,24 @@ let value_panel pack (main_ui:main_ui) =
     GPack.table ~packing:(box#pack ~expand:true ~fill:true) ~columns:2 ()
   in
   let box_1_1 = GPack.hbox ~packing:(w#attach ~left:1 ~top:1) () in
+  let precision_refresh =
+    let tooltip = Value_parameters.Precision.parameter.Typed_parameter.help in
+    Gtk_helper.on_int ~lower:(-1) ~upper:11 ~tooltip
+      box_1_1 "precision (meta-option)"
+      Value_parameters.Precision.get
+      Value_parameters.Precision.set
+  in
+  let box_1_2 = GPack.hbox ~packing:(w#attach ~left:1 ~top:2) () in
   let slevel_refresh =
     let tooltip =
       Value_parameters.SemanticUnrollingLevel.parameter.Typed_parameter.help
     in
     Gtk_helper.on_int ~lower:0 ~upper:1000000 ~tooltip
-      box_1_1 "slevel"
+      box_1_2 "slevel"
       Value_parameters.SemanticUnrollingLevel.get
       Value_parameters.SemanticUnrollingLevel.set
   in
-  let box_1_2 = GPack.hbox ~packing:(w#attach ~left:1 ~top:2) () in
+  let box_1_3 = GPack.hbox ~packing:(w#attach ~left:1 ~top:3) () in
   let validator s =
     not
       (Kernel_function.Set.is_empty
@@ -130,9 +138,9 @@ let value_panel pack (main_ui:main_ui) =
   in
   let main_refresh = Gtk_helper.on_string
       ~tooltip:Kernel.MainFunction.parameter.Typed_parameter.help
-      ~validator box_1_2 "main" Kernel.MainFunction.get Kernel.MainFunction.set
+      ~validator box_1_3 "main" Kernel.MainFunction.get Kernel.MainFunction.set
   in
-  let refresh () = slevel_refresh (); main_refresh() in
+  let refresh () = precision_refresh (); slevel_refresh (); main_refresh() in
   ignore (run_button#connect#pressed
             (fun () ->
                main_ui#protect ~cancelable:true
diff --git a/src/plugins/value/value_parameters.mli b/src/plugins/value/value_parameters.mli
index 66b79243da3954408a1b7a1bddf828ecf4d4fb82..1d42262c972b4be976be6c1c41af26258302be8d 100644
--- a/src/plugins/value/value_parameters.mli
+++ b/src/plugins/value/value_parameters.mli
@@ -149,6 +149,9 @@ module MallocFunctions: Parameter_sig.String_set
 module AllocReturnsNull: Parameter_sig.Bool
 module MallocLevel: Parameter_sig.Int
 
+(** Meta-option *)
+module Precision: Parameter_sig.Int
+
 
 val parameters_correctness: Typed_parameter.t list
 val parameters_tuning: Typed_parameter.t list