abstract_integers::abstract_int