Fix the proptests by avoiding mod-by-zero

[github-actions[bot]]

Bencher Report

Branch	2071/merge
Testbed	ubuntu-latest

⚠️ WARNING: The following Measure does not have a Threshold. Without a Threshold, no Alerts will ever be generated!

• Latency

Click here to create a new Threshold
For more information, see the Threshold documentation.
To only post results if a Threshold exists, set the --ci-only-thresholds CLI flag.

Click to view all benchmark results

Benchmark	Latency	nanoseconds (ns)
fibonacci 10	📈 view plot ⚠️ NO THRESHOLD	504,710.00
foldl arrays 50	📈 view plot ⚠️ NO THRESHOLD	1,822,000.00
foldl arrays 500	📈 view plot ⚠️ NO THRESHOLD	7,108,200.00
foldr strings 50	📈 view plot ⚠️ NO THRESHOLD	7,162,900.00
foldr strings 500	📈 view plot ⚠️ NO THRESHOLD	63,646,000.00
generate normal 250	📈 view plot ⚠️ NO THRESHOLD	53,996,000.00
generate normal 50	📈 view plot ⚠️ NO THRESHOLD	2,225,000.00
generate normal unchecked 1000	📈 view plot ⚠️ NO THRESHOLD	3,558,800.00
generate normal unchecked 200	📈 view plot ⚠️ NO THRESHOLD	755,330.00
pidigits 100	📈 view plot ⚠️ NO THRESHOLD	3,319,400.00
pipe normal 20	📈 view plot ⚠️ NO THRESHOLD	1,518,700.00
pipe normal 200	📈 view plot ⚠️ NO THRESHOLD	10,886,000.00
product 30	📈 view plot ⚠️ NO THRESHOLD	856,570.00
scalar 10	📈 view plot ⚠️ NO THRESHOLD	1,560,200.00
sum 30	📈 view plot ⚠️ NO THRESHOLD	858,740.00

🐰 View full continuous benchmarking report in Bencher