add Collections::size()