2014-04-14-19.05.30: src/lib/std/src/int.api: Added  sort_and_drop_duplicates: List( Int ) -> List( Int );