added some documentation to ModularGCD