Convert numbers to the following notation
https://github.com/puripuri2100/SATySFi-num-conversion
https://github.com/puripuri2100/SATySFi-num-conversion/issues
Naoki Kaneko <puripuri2100@gmail.com>
MIT
2020-03-22