Added doubling method to QuotientingStrategy.