Make bench/ce in CI more stable
bench/ce/records sometimes appears in diff in the continuous integration: this issue to either fix the problem or allow it to fail on integer values.
bench/ce/records sometimes appears in diff in the continuous integration: this issue to either fix the problem or allow it to fail on integer values.