get_int now throws an error if it can't find a random integer