method private _get_precision =
    match glade#prec_check#active with
      | true  -> Some glade#prec_spinbutton#value_as_int
      | false -> None