TODO: 1. Annotate Integer methods; 2. handle the collections