Avoid using Arith libraries deprecated in v8.16

2 jobs for !346 with avoid-deprecated-nat-defs in 12 minutes (queued for 10 seconds)
merge request