to an Integer