abstract_integers::nat_mod