collections and RichInteger uploaded