diff -ur a/include/gemmi/json.hpp b/include/gemmi/json.hpp
--- a/include/gemmi/json.hpp
+++ b/include/gemmi/json.hpp
@@ -38,6 +38,7 @@
 
 inline std::string as_cif_value(const sajson::value& val) {
   switch (val.get_type()) {
+    case sajson::TYPE_INTEGER:
     case sajson::TYPE_DOUBLE:
       return val.as_string();
     case sajson::TYPE_NULL:
le id='header'>
<tr>
<td class='logo' rowspan='2'><a href='/'><img src='https://git.koszko.org/cgit-static/cgit.png' alt='cgit logo'/></a></td>
<td class='main'><a href='/'>index</a> : <a href='/guix/'>guix</a></td><td class='form'><form method='get'>
<input type='hidden' name='id' value='ef919436f6f042d134aeff68ac0c6bb43f1b987f'/><select name='h' onchange='this.form.submit();'>
<option value='koszko' selected='selected'>koszko</option>
<option value='koszko-scripts'>koszko-scripts</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=ef919436f6f042d134aeff68ac0c6bb43f1b987f'>refs</a><a class='active' href='/guix/log/gnu/packages/connman.scm'>log</a><a href='/guix/tree/gnu/packages/connman.scm?id=ef919436f6f042d134aeff68ac0c6bb43f1b987f'>tree</a><a href='/guix/commit/gnu/packages/connman.scm?id=ef919436f6f042d134aeff68ac0c6bb43f1b987f'>commit</a><a href='/guix/diff/gnu/packages/connman.scm?id=ef919436f6f042d134aeff68ac0c6bb43f1b987f'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/connman.scm'>
<input type='hidden' name='id' value='ef919436f6f042d134aeff68ac0c6bb43f1b987f'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=ef919436f6f042d134aeff68ac0c6bb43f1b987f'>root</a>/<a href='/guix/log/gnu?id=ef919436f6f042d134aeff68ac0c6bb43f1b987f'>gnu</a>/<a href='/guix/log/gnu/packages?id=ef919436f6f042d134aeff68ac0c6bb43f1b987f'>packages</a>/<a href='/guix/log/gnu/packages/connman.scm?id=ef919436f6f042d134aeff68ac0c6bb43f1b987f'>connman.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/connman.scm?id=ef919436f6f042d134aeff68ac0c6bb43f1b987f&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2022-09-19 11:19:49 +0300'>2022-09-19</span></td><td><a href='/guix/commit/gnu/packages/connman.scm?id=f9ada7fdc4d4dad63a3bbb4a43bbb3f8441f0c60'>gnu: connman: Patch CVE-2022-32392, CVE-2022-32293.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/connman.scm (connman)[source]: Add patches.
* gnu/packages/patches/connman-CVE-2022-32292.patch,
gnu/packages/patches/connman-CVE-2022-32293-pt1.patch,
gnu/packages/patches/connman-CVE-2022-32293-pt1.patch: New files.
* gnu/local.mk (dist_patch_DATA): Register them.
</span></span></td><td>Efraim Flashner</td></tr>
<tr><td><span title='2022-07-31 21:55:48 -0400'>2022-07-31</span></td><td><a href='/guix/commit/gnu/packages/connman.scm?id=eef8e2ec46c4155980815e00a394428c0c3de075'>gnu: qttools: Rename to qttools-5.</a><span class='msg-avail'>...<span class='msg-tooltip'>Automated with:

  git grep -l qttools | xargs sed 's/\bqttools\b/\0-5/g' -i
  git checkout NEWS
</span></span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2022-07-06 12:44:13 +0300'>2022-07-06</span></td><td><a href='/guix/commit/gnu/packages/connman.scm?id=8760decca72c2b720734b04517b8d3daef3b484d'>gnu: connman: Fix cross-compilation.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/connman.scm (connman): Fix cross-compilation.
  [arguments]: Use G-Expressions. Set path to binaries at
  `#:configure-flags'.

Signed-off-by: Efraim Flashner &lt;efraim@flashner.co.il&gt;
</span></span></td><td>Jean-Pierre De Jesus DIAZ</td></tr>