Sublime Text 2 plugin to change numeral system