Commas in axes labels in JSXGraph

HTML

<script src="https://cdn.jsdelivr.net/npm/jsxgraph/distrib/jsxgraphcore.js"></script>
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/jsxgraph/distrib/jsxgraph.css">
<div id="jxgbox" class="jxgbox">
</div>

CSS

#jxgbox{aspect-ratio:1.3;max-width:600px;max-height:calc(100vh - 30px)}

JavaScript

const board = JXG.JSXGraph.initBoard('jxgbox', { boundingBox: [-10, 30000, 10, -5000],
    axis: true,
    defaultAxes: {
        x: {
                margin: -4,
                ticks: {
                    minTicksDistance: 0,
                    minorTicks:4,
                    ticksDistance: 3,
                    scale: Math.PI,
                    scaleSymbol: 'π',
                    insertTicks: true
                }
             },
        y: {
          ticks: {
            intl: {
              enabled: true,
        		  locale: 'en-US'
            }
          }
        }
    }
});

board.create('functiongraph',  [function(x){ return 1000*Math.tan(x);} ])