exists_instnat_divmod_iter