test-check 2023-09-02

What's the best way to generate any such that bigints are bounded?