mathlib

e4e483e5 - Bugfix for norm num when testing divisibility of integers (#2355)

Bugfix for norm num when testing divisibility of integers (#2355) they were assumed nats somehow Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>