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