number editor
Merge pull request #1417 from jpuri/master

Number editor