feat(data/zmod/basic): Variant of `zmod.val_int_cast` (#13781)
feat(data/zmod/basic): Variant of `zmod.val_int_cast` (#13781)

This PR adds a variant of `zmod.val_int_cast` avoiding the characteristic assumption.





leanprover-community/mathlib,leanprover-community/mathlib