non-symbolic numbers
rename
gitignore
tools
remove nonsymbolicnumbers
Merge branch 'developing'