wimp/number_box

A specialized input box for numbers.

TODO