pothos-widgets: work on numeric entry