Integer instead of Int