Rename integer to int