tree 29072435395457294cb8d5b8e867dba21c590daf
parent 8a3402d95fec2d99b81bad02de02d4594bc718cd
author Marc Kupietz <kupietz@ids-mannheim.de> 1710190135 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1710192201 +0100

Make sure that total results are numeric

See:
https://github.com/KorAP/Kustvakt/issues/668
which was fixed in
https://korap.ids-mannheim.de/gerrit/c/KorAP/Kustvakt/+/7526 , but not
yet rolled out in all KorAP instances

Change-Id: I64c61c35734472e52f6875c35b6e587fb252c4c1