get_integer -> get_int