This shortens by a factor of 4 the data size exchanged for debugging
purposes, without sacrificing accuracy.

For some reason, this had been set to a ridiculous 1k. The actual range
of values is on the order of 2e6.

Mateusz's comments over e-mail, Sep 10th, 2021, are incorporated in this
changeset.

where it really belongs