integer -> int