formula number formatting: https://github.com/metanorma/metanorma/iss…#814