Avoid using Arith libraries deprecated in v8.16

2 jobs for !346 with avoid-deprecated-nat-defs in 4 minutes and 20 seconds (queued for 5 seconds)
merge request