settings_menu: Add a widget equiv for NumberTunable

would help make !316 (merged) shine

I think it could be a range selector or a number entry (#118?) or smth?