isps).  If such a datum is encountered in JSON input, an <code class="other-name">arithmetic-error</code> is signalled.  CL-JSON provides three restarts to correct such cases:</p>

<dl class="restarts">
  <dd><code><span class="other-name">bignumber-string</span> <span class="lambda-keyword">&amp;optional</span> <span class="arg-name">prefix</span></code></dd>
  <dt>Instead of number, use a string which is the concatenation of <span class="arg-name">prefix</span> and the number token that caused the error. 