convert int to integer