void fltk_valuator_precision(WidgetPtr widget, int digits)
Sets the precision (number of decimal digits) for the valuator.