ECS #269: Integer partition