Restored and slightly optimized old GreatestCommonDivisor. Much faster overall.
Restored and slightly optimized old GreatestCommonDivisor. Much faster overall.

rvelthuis/BigNumbers,rvelthuis/BigNumbers