mathlib

0faf0864 - feat(data/int/cast): cast_nat_abs (#8120)