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
2021-02-07